| CIVLConfiguration(GMCSection) |   | 75% | | 29% | 40 | 45 | 30 | 166 | 0 | 1 |
| CIVLConfiguration() | | 0% | | n/a | 1 | 1 | 52 | 52 | 1 | 1 |
| printStates() | | 0% | | 0% | 4 | 4 | 1 | 1 | 1 | 1 |
| showPathConditonAsOneLine() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| showPathConditonAsMultipleLine() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| 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 |
| setShowTransitions(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setStatelessPrintf(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setErrorStateEquiv(CIVLConstants.ErrorStateEquivalence) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDirectSymEx(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSliceAnalysis(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setWitness(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setProb(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSvcomp16(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDeadlock(CIVLConstants.DeadlockKind) | | 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 |
| setProcBound(int) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setQuiet(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setCollectSymbolicNames(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSvcomp17(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setIntBit(int) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setIntOperationTransiformer(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setMaxProcs(int) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| verbose() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| err() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| svcomp16() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| showPreproc() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isReplay() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| inputVariables() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unpreproc() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| checkExpressionError() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| svcomp17() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printTransitions() | | 85% | | 50% | 3 | 4 | 0 | 1 | 0 | 1 |
| debugOrVerbose() | | 80% | | 50% | 2 | 3 | 0 | 1 | 0 | 1 |
| showPathConditon() | | 78% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| CIVLConfiguration(CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 96 | 0 | 1 |
| svcomp() | | 100% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| isEnableMpiContract() | | 100% | | 100% | 0 | 2 | 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 |
| setSimplify(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setVerbose(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCollectProcesses(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCollectScopes(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 |
| setShowMemoryUnits(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setOmpLoopDecomp(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setReplay(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowUnreach(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setAbsAnalysis(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setInputVariables(Map) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCollectOutputs(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setMpiContractFunction(String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCheckDivisionByZero(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCheckMemoryLeak(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setTimeout(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setUnpreproc(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCheckExpressionError(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setInSubprogram(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 |
| simplify() | | 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 |
| errorStateEquiv() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| directSymEx() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| sliceAnalysis() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| witness() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| prob() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| deadlock() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showProgram() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ompNoSimplify() | | 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 |
| 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 |
| showMemoryUnits() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getProcBound() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ompLoopDecomp() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isQuiet() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showUnreach() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| analyzeAbs() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectOutputs() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| checkDivisionByZero() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| checkMemoryLeak() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| timeout() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| mpiContractFunction() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| collectSymbolicNames() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| inSubprogram() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getIntBit() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isIntOperationTransiformer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMaxProcs() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |