MicroTESK

h1. MicroTESK Command-Line Options

| Full name                 | Short name | Descritpion |

| --output-dir <arg>        | -d         | Sets where to place generated files [works with -t] |

| --generate                | -g         | Generates test programs |

| --help                    | -h         | Shows this message |

| --include <arg>           | -i         | Sets include files directories [works with -t] |

| --branch-exec-limit <arg> | -l         | Sets the limit on control transfers to detect endless loops [works with -g] |

| --random-seed <arg>       | -r         | Sets seed for randomizer [works with -g] |

| --solver <arg>            | -s         | Sets constraint solver engine to be used [works with -g] |

| --translate               | -t         | Translates formal specifications |

| --verbose                 | -v         | Enables printing diagnostic messages |