This plugin is responsible to perform input / output of the CFG collection.
More...
This plugin is responsible to perform input / output of the CFG collection.
This allows external work on the CFG provided by OTAWA. As a default, XML is provided with files matching the DTD from ${OTAWA_HOME}/share/Otawa/dtd/cfg.dtd .
You can use this module in a script or embed it in an executable using the following otawa-config
result:
otawa-
config --libs --rpath cfgio
Identifier<Path> otawa::cfgio::FROM |
( |
"otawa::cfgio::FROM" |
| ) |
|
Identifier<Path> otawa::cfgio::FROM("otawa::cfgio::FROM") |