| getOption(String) |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| Options() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| buildOptionMap() |  | 100% | | n/a | 0 | 1 | 0 | 25 | 0 | 1 |
| add(Option) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| isApplicable(RunConfiguration, Option) | | 100% | | 100% | 0 | 5 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| addOptionBufferBound() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionCollectiveAssertions() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionCollectiveQueueMinimization() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionCycles() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionDeadlock() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionDebug() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionDrawGraph() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionErrorBound() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionFrontend() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionLoop() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionNumProcs() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionNumProcs1() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionNumProcs2() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionReduce() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowModel() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowProverQueries() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowQueries() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowSavedStates() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowSimplifications() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowStates() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionShowTransitions() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionSimplify() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addOptionVerbose() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| options() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |