| ConcurrentDfsSearcher(EnablerIF, ConcurrentStateManagerIF, StatePredicateIF, int) |  | 0% | | 0% | 3 | 3 | 24 | 24 | 1 | 1 |
| search(Object) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| randomizeCollection(Collection) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| static {...} | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| generateThreadId() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| setName(String) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setMinimize(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setReportCycleAsViolation(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| predicate() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| name() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getMinimize() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| reportCycleAsViolation() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| cycleFound() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| totalNumStatesSeen() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| totalNumTransitions() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| totalNumStatesMatched() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |