You can execute HyLeak in a terminal by running.<\/p>\n
HyLeak is based on the QUAIL v 2.0 code, and shares some of its functionalities. The possible arguments for HyLeak are:<\/p>\n <\/p>","protected":false},"excerpt":{"rendered":" You can execute HyLeak in a terminal by running. hyleak [arguments] program.hyleak Arguments: HyLeak is based on the QUAIL v 2.0 code, and shares some of its functionalities. The possible arguments for HyLeak are: -c | –clean Delete the temporary preprocessed file. –config=<filename> Alternative location for the configuration file. -h\u2026<\/p>\nhyleak [arguments] program.hyleak<\/code><\/p>\nArguments:<\/h3>\n
-c | --clean<\/code>
\nDelete the temporary preprocessed file.<\/p>\n--config=<filename><\/code>
\nAlternative location for the configuration file.<\/p>\n-h | -? | --help<\/code>
\nPrint the help and terminate.<\/p>\n-v <level><\/code>
\nVerbose mode between 0 (minimum) and 4 (maximum).
\nDefault value if not specified is 2.<\/p>\n-verb:<vname>:=<vvalue><\/code>
\nSet verbosity for location <vname> to value <vvalue> (advanced users only)<\/p>\n--verb-locations<\/code>
\nPrint verbosity locations and terminate<\/p>\n-th <number><\/code>
\nSets the number of parallel threads HyLeak should use. Default is the number returned by Runtime.getRuntime().availableProcessors(), minimum 1<\/p>\n-p <value><\/code>
\nDefine computation precision as a number of digits. Default value if not specified is 15.<\/p>\n--const:<cname>:=<cvalue><\/code>
\nReplace the value of a constant <cname> in the model by the value <cvalue><\/p>\n--preprocess<\/code>
\nRun only the preprocessor and terminate.<\/p>\n--no-preprocess<\/code>
\nDo not run the preprocessor (advanced users only; input file must be in if-goto format).<\/p>\n-i <iterations><\/code>
\nSets the total number of simulations to use on all components. Default: 50000<\/p>\n-t <time_limit><\/code>
\nSets the time limit (in milliseconds) for the simulation. A value of 0 means no time limit. Default: 0 (meaning no time limit)<\/p>\n--no-cfg <\/code>
\nBy default and if the dot<\/code> utility is installed, HyLeak draws the Control Flow Graph (CFG) of the program to be analyzed as a file cfg.png<\/code>. This option prevents HyLeak from drawing the CFG of the program.<\/p>\n