| CIVLConfiguration() |  | 0% | | n/a | 1 | 1 | 53 | 53 | 1 | 1 |
| CIVLConfiguration(GMCSection) |  | 83% | | 50% | 24 | 34 | 31 | 191 | 0 | 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 |
| whitespace(int) | | 77% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| isPropertyToggled(CIVLProperty) | | 75% | | 50% | 1 | 2 | 0 | 3 | 0 | 1 |
| setCheckDeadlockKind(CIVLConstants.DeadlockKind) | | 0% | | n/a | 1 | 1 | 2 | 2 | 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 |
| setSimplify(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 |
| setOmpNoSimplifier(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setOmpOnlySimplify(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 |
| setRuntimeUpdate(boolean) | | 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 |
| setFair(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getCheckedPropertiesSummary() | | 97% | | 87% | 2 | 10 | 1 | 34 | 0 | 1 |
| setMpiContractFunction(String) | | 85% | | 75% | 1 | 3 | 1 | 6 | 0 | 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 |
| inSubprogram() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| svcomp17() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| printTransitions() | | 84% | | 50% | 3 | 4 | 0 | 1 | 0 | 1 |
| debugOrVerbose() | | 80% | | 50% | 2 | 3 | 0 | 1 | 0 | 1 |
| showPathConditon() | | 77% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| CIVLConfiguration(CIVLConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 100 | 0 | 1 |
| getSummaryTitle(CIVLProperty) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| svcomp() | | 100% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| setToggleableProperty(CIVLProperty, boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isEnableMpiContract() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isToggleableProperty(CIVLProperty) | | 100% | | n/a | 0 | 1 | 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 |
| 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 |
| setMpiModel(CIVLConstants.MPIModelKind) | | 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 |
| checkDeadlockKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 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 |
| showProgram() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ompNoSimplify() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| ompOnlySimplifier() | | 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 |
| runtimeUpdate() | | 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 |
| mpiModel() | | 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 |
| 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 |
| isSARLTestGenerationEnabled() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| loopInvariantEnabled() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| preemptionBound() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| disableLocalBlock() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isFair() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |