| setDebug(boolean) |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setEnablePrintf(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSaveStates(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowAmpleSet(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowAmpleSetWtStates(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowStates(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSimplify(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setStatelessPrintf(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSvcomp(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setCollectProcesses(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setCollectScopes(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDeadlock(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowPathConditon(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setOmpNoSimplify(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowInputVars(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowTime(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| verbose() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| simplify() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| deadlock() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| ompNoSimplify() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printStates() |  | 85% | | 50% | 3 | 4 | 0 | 1 | 0 | 1 |
| debugOrVerbose() | | 80% | | 50% | 2 | 3 | 0 | 1 | 0 | 1 |
| CIVLConfiguration(GMCConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 51 | 0 | 1 |
| printTransitions() | | 100% | | 67% | 2 | 4 | 0 | 1 | 0 | 1 |
| setOut(PrintStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setErr(PrintStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowSavedStates(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowTransitions(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setVerbose(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowProgram(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCollectHeaps(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowPreproc(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowAST(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowModel(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| debug() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| enablePrintf() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| saveStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showAmpleSet() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showAmpleSetWtStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showSavedStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showTransitions() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| statelessPrintf() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| out() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| err() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| svcomp() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showProgram() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showPathConditon() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectProcesses() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectScopes() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectHeaps() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| web() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showPreproc() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showAST() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showModel() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showInputVars() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showTime() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |