ErrorLog |   | 12% |   | 11% | 33 | 37 | 108 | 127 | 16 | 19 | 0 | 1 |
GMCSection |   | 34% |   | 26% | 40 | 54 | 88 | 141 | 9 | 18 | 0 | 1 |
CommandLineParser |   | 46% |   | 34% | 39 | 55 | 78 | 146 | 4 | 12 | 0 | 1 |
GuidedTransitionChooser |  | 0% |  | 0% | 22 | 22 | 83 | 83 | 7 | 7 | 1 | 1 |
GMCConfiguration |   | 37% |   | 26% | 27 | 40 | 46 | 80 | 11 | 23 | 0 | 1 |
Simulator |   | 57% |   | 55% | 17 | 30 | 32 | 91 | 6 | 13 | 0 | 1 |
Trace |   | 45% |   | 33% | 9 | 15 | 13 | 28 | 7 | 12 | 0 | 1 |
LogEntry |  | 0% | | n/a | 9 | 9 | 17 | 17 | 9 | 9 | 1 | 1 |
ExcessiveErrorException |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
FalsePredicate |  | 0% | | n/a | 4 | 4 | 4 | 4 | 4 | 4 | 1 | 1 |
GuidedTransitionChooser.Guide |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
StateSpaceCycleException |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
Option |   | 96% |   | 83% | 3 | 17 | 2 | 35 | 1 | 11 | 0 | 1 |
MisguidedExecutionException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
CommandLineException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
RandomTransitionChooser |  | 95% |  | 100% | 1 | 6 | 1 | 18 | 1 | 4 | 0 | 1 |
Simulator.new OutputStream() {...} |  | 85% | | n/a | 1 | 2 | 1 | 2 | 1 | 2 | 0 | 1 |
Option.OptionType |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |