| setWorkingDirectory(File) |   | 40% | | 67% | 2 | 4 | 2 | 8 | 0 | 1 |
| getAstXmlSchema() | | 0% | | 0% | 2 | 2 | 6 | 6 | 1 | 1 |
| setInput(String, Object) | | 67% | | 50% | 4 | 6 | 1 | 8 | 0 | 1 |
| getClangBinary() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| print(PrintWriter) | | 94% | | 75% | 2 | 5 | 2 | 28 | 0 | 1 |
| getClangAstLib() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| getTassIncludePath() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| setBufferBound(int) | | 55% | | 50% | 1 | 2 | 2 | 5 | 0 | 1 |
| clone() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setUseConcreteArrays(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setProverType(RunConfiguration.TheoremProverType) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDebugOut(PrintWriter) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setFrontend(RunConfiguration.Frontend) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowQueries(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 |
| setShowSavedStates(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDrawGraph(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowSimplifications(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowModel(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setTraceFile(File) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setGuide(int[]) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| runningMode() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| proverType() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| traceFile() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| guide() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| replay() | | 71% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| RunConfiguration(RunConfiguration) | | 100% | | n/a | 0 | 1 | 0 | 28 | 0 | 1 |
| RunConfiguration(File) | | 100% | | n/a | 0 | 1 | 0 | 30 | 0 | 1 |
| write(PrintWriter) | | 100% | | 100% | 0 | 4 | 0 | 8 | 0 | 1 |
| setVerbose(boolean) | | 100% | | 100% | 0 | 2 | 0 | 10 | 0 | 1 |
| RunConfiguration() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setRunningMode(RunConfiguration.RunningMode) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setUseCollectiveAssertions(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setDetectCycles(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setReductionStrategy(RunConfiguration.ReductionStrategy) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setDeadlockStrategy(RunConfiguration.DeadlockStrategy) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setSimplify(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLoopTechnique(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setOut(PrintWriter) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setErrorBound(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowProverQueries(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setCqmin(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| inputMap() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| useConcreteArrays() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| verbose() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| useCollectiveAssertions() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| detectCycles() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| reductionStrategy() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| deadlockStrategy() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| simplify() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| bufferBound() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| useLoopTechnique() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| out() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| debugOut() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| workingDirectory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFrontend() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| errorBound() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showProverQueries() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showQueries() | | 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 |
| showSavedStates() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| drawGraph() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showSimplifications() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| showModel() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| cqmin() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |