| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 369 of 369 | 0% | 16 of 16 | 0% | 25 | 25 | 77 | 77 | 17 | 17 |
| pushTransition() | | 0% | | 0% | 4 | 4 | 31 | 31 | 1 | 1 |
| DporSearchStack(StateManager, DporNodeFactory, Object) | | 0% | | 0% | 2 | 2 | 19 | 19 | 1 | 1 |
| popTransition() | | 0% | | 0% | 2 | 2 | 9 | 9 | 1 | 1 |
| searchForTransition() | | 0% | | 0% | 4 | 4 | 3 | 3 | 1 | 1 |
| addRace(DporStackEntry, int) | | 0% | n/a | 1 | 1 | 3 | 3 | 1 | 1 | |
| makeStackTraversal(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| getHbSet(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| get(int) | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| top() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| isEmpty() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| size() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| currentState() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| currentTransition() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| numStatesSeen() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| numStatesMatched() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| numTraceSteps() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 | |
| numTraceStepsMatched() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |