| reportWithSearcher(LogEntry) |  | 0% | | 0% | 13 | 13 | 46 | 46 | 1 | 1 |
| writeTraceFile(LogEntry) | | 0% | | n/a | 1 | 1 | 22 | 22 | 1 | 1 |
| print(PrintStream) | | 0% | | 0% | 2 | 2 | 12 | 12 | 1 | 1 |
| report(LogEntry) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| save() | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| ErrorLog(File, String, PrintStream) |  | 82% | | 66% | 2 | 4 | 2 | 19 | 0 | 1 |
| setMinimize(boolean) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| traceFile(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| traceFileName(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setSearcher(DfsSearcher) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| numEntries() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setIgnoreErrors(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getMinimize() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getDirectory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLogFile() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| searcher() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| errorBound() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getIgnoreErrors() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMinimalCounterexampleSize() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setErrorBound(int) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| numErrors() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |