| CIVLConfiguration() |  | 0% | | n/a | 1 | 1 | 50 | 50 | 1 | 1 |
| CIVLConfiguration(GMCSection) |  | 88% | | 61% | 13 | 22 | 19 | 144 | 0 | 1 |
| printStates() | | 0% | | 0% | 4 | 4 | 1 | 1 | 1 | 1 |
| setDpor(boolean) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| getCheckedPropertiesSummary() | | 95% | | 81% | 3 | 10 | 2 | 34 | 0 | 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 |
| setProb(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 |
| setUnpreproc(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setCollectSymbolicNames(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 |
| 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 |
| directSymEx() | | 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 |
| getIntBit() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| convergeWithMemEquality() | | 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 | 99 | 0 | 1 |
| getSummaryTitle(CIVLProperty) | | 100% | | n/a | 0 | 1 | 0 | 2 | 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 |
| 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 |
| 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 |
| isIntOperationTransiformer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMaxProcs() | | 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 |
| dporEnabled() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |