This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| clara-bc811e6d | Nov 14, 2020 3:49:11 PM | Nov 14, 2020 3:49:21 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| edu.udel.cis.vsl.gmc.CommandLineParser | a578cb63f87adce3 |
| edu.udel.cis.vsl.gmc.CommandLineParser.1 | b7fdf4dc43dca0ba |
| edu.udel.cis.vsl.gmc.ErrorLog | ce563e525afc4ee8 |
| edu.udel.cis.vsl.gmc.GMCConfiguration | dab0010ce220df93 |
| edu.udel.cis.vsl.gmc.GMCSection | f0e9e9706b32421c |
| edu.udel.cis.vsl.gmc.GMCSection.1 | 6b3593d617784715 |
| edu.udel.cis.vsl.gmc.GMCTest | ed9183d95d3b85c4 |
| edu.udel.cis.vsl.gmc.Option | 361478108ba8a19a |
| edu.udel.cis.vsl.gmc.Option.OptionType | 637b8bcd0c65d06e |
| edu.udel.cis.vsl.gmc.ParserTest | 03702449b92d220a |
| edu.udel.cis.vsl.gmc.RandomTransitionChooser | 4acfeca3698bb6c3 |
| edu.udel.cis.vsl.gmc.Simulator | ae95e4a844e749da |
| edu.udel.cis.vsl.gmc.Simulator.1 | 50aae551e93f7748 |
| edu.udel.cis.vsl.gmc.Trace | 27c6404625400059 |
| edu.udel.cis.vsl.gmc.seq.DfsSearcher | 7de1780dc01251be |
| edu.udel.cis.vsl.gmc.seq.SequentialNode | 9909de908fef00b7 |
| edu.udel.cis.vsl.gmc.seq.SequentialNodeFactory | 11b85019d7012f41 |
| edu.udel.cis.vsl.gmc.seq.StackEntry | 3229cdbfb6da997d |
| edu.udel.cis.vsl.gmc.seq.StateManager | 4c00fc60ef8aee69 |
| edu.udel.cis.vsl.gmc.smc.CoverageTest | 9834fc085cb89b0f |
| edu.udel.cis.vsl.gmc.smc.MatrixDirectedGraph | 044c08b552b7d51a |
| edu.udel.cis.vsl.gmc.smc.Predicate | 9cbd4516156da68b |
| edu.udel.cis.vsl.gmc.smc.SMC | 03470f6c2146bf91 |
| edu.udel.cis.vsl.gmc.smc.SMCConstants | 99be48f118044b34 |
| edu.udel.cis.vsl.gmc.smc.SMCEnabler | 7cded2b7644610c7 |
| edu.udel.cis.vsl.gmc.smc.SMCSimulator | 29f6634d2509e93a |
| edu.udel.cis.vsl.gmc.smc.SimpleStateManager | 06f9e53c310bc40a |
| edu.udel.cis.vsl.gmc.smc.SimpleTest | fb0c3787d486edab |
| edu.udel.cis.vsl.gmc.smc.TestHelper | d965ecb7eb57a3f1 |
| edu.udel.cis.vsl.gmc.smc.TraceStep | 9ef8162a3f963689 |
| edu.udel.cis.vsl.gmc.util.Utils | eaff998ae4569596 |
| junit.framework.AssertionFailedError | 24ef7a52d33afdf4 |
| junit.framework.JUnit4TestAdapter | be9b49a69db26e47 |
| junit.framework.JUnit4TestAdapterCache | 70030ebcb96388e1 |
| junit.framework.JUnit4TestCaseFacade | d442017b9571597c |
| junit.framework.TestFailure | b7100abb75ec5429 |
| junit.framework.TestResult | deb09a359e861141 |
| org.apache.tools.ant.Project | 9c14981a39a84fe1 |
| org.apache.tools.ant.taskdefs.condition.Os | a5be8484b59170cc |
| org.apache.tools.ant.taskdefs.optional.junit.BaseTest | b604caaf3878dd0a |
| org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter | 7524757315ff148e |
| org.apache.tools.ant.taskdefs.optional.junit.CustomJUnit4TestAdapterCache | e8a7a32aa363700a |
| org.apache.tools.ant.taskdefs.optional.junit.CustomJUnit4TestAdapterCache.1 | 67164caaad9f67af |
| org.apache.tools.ant.taskdefs.optional.junit.FormatterElement | 4cf650f411d11d2d |
| org.apache.tools.ant.taskdefs.optional.junit.FormatterElement.DelayedFileOutputStream | dfeef168d20fd828 |
| org.apache.tools.ant.taskdefs.optional.junit.IgnoredTestResult | 8ba7c7c788354907 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTest | 58ba19904832e007 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner | d5135b3cca7f6a0a |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.2 | c4c6a69771209f1d |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.3 | ddc9f4f9f8abecb5 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitVersionHelper | cc9c34a3f2ab4129 |
| org.apache.tools.ant.taskdefs.optional.junit.TestListenerWrapper | 9c4abfeae79290bb |
| org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter | a3b4f2fd9359da8f |
| org.apache.tools.ant.util.DOMElementWriter | ae2aa8dff6f2ffd7 |
| org.apache.tools.ant.util.DOMElementWriter.XmlNamespacePolicy | 0d969f2ee8a3a557 |
| org.apache.tools.ant.util.DateUtils | 9bbe724fcc903bfa |
| org.apache.tools.ant.util.FileUtils | 50a1a0485745b4f4 |
| org.apache.tools.ant.util.KeepAliveOutputStream | 4e76df19bd2829e0 |
| org.apache.tools.ant.util.StringUtils | e875bc0ebe8d1ca4 |
| org.junit.Assert | 78fc7dec7d95195c |
| org.junit.internal.MethodSorter | ae094a8ce1747b79 |
| org.junit.internal.MethodSorter.1 | d3997b4bdb7889c1 |
| org.junit.internal.MethodSorter.2 | c8e6351cbf098013 |
| org.junit.internal.builders.AllDefaultPossibilitiesBuilder | 2d26b5eadd1a8c2a |
| org.junit.internal.builders.AnnotatedBuilder | b6759f9e68d937a7 |
| org.junit.internal.builders.IgnoredBuilder | e152f333c53967a6 |
| org.junit.internal.builders.JUnit3Builder | 4a2cc8e608e1275e |
| org.junit.internal.builders.JUnit4Builder | 5902b7da0403f55c |
| org.junit.internal.builders.NullBuilder | 2c8f3561ed8ea9c5 |
| org.junit.internal.requests.ClassRequest | cbba192d9af40c26 |
| org.junit.internal.runners.model.EachTestNotifier | ff8c3fbb105e71ef |
| org.junit.internal.runners.model.ReflectiveCallable | d591724635588bcb |
| org.junit.internal.runners.rules.RuleFieldValidator | fbc09f9fcb2f9c1a |
| org.junit.internal.runners.statements.InvokeMethod | fa03219f4a4eb968 |
| org.junit.internal.runners.statements.RunAfters | fe6de60738f75318 |
| org.junit.internal.runners.statements.RunBefores | d209dd5542986723 |
| org.junit.runner.Description | c3b4a36e785ee4be |
| org.junit.runner.Request | 2501a2515fbe4d86 |
| org.junit.runner.Runner | f5abacc70e2e08a4 |
| org.junit.runner.manipulation.Sorter | 79c19bcbe8cfca2d |
| org.junit.runner.manipulation.Sorter.1 | 1efe268be59403aa |
| org.junit.runner.notification.Failure | 667385430e134e4a |
| org.junit.runner.notification.RunListener | 3350f142e74350a4 |
| org.junit.runner.notification.RunNotifier | b34e922304507f84 |
| org.junit.runner.notification.RunNotifier.3 | 4b1a15148beab121 |
| org.junit.runner.notification.RunNotifier.4 | b1686c7d1ca56287 |
| org.junit.runner.notification.RunNotifier.7 | c8d33a2e217dded2 |
| org.junit.runner.notification.RunNotifier.SafeNotifier | 19d584cef25f3ec4 |
| org.junit.runners.BlockJUnit4ClassRunner | 739bf3a723ee0fec |
| org.junit.runners.BlockJUnit4ClassRunner.1 | 12f85f32c9daafd9 |
| org.junit.runners.ParentRunner | 287dd153523ee445 |
| org.junit.runners.ParentRunner.1 | e4b11be78f36c92b |
| org.junit.runners.ParentRunner.2 | 51b5d3c1c8fd8878 |
| org.junit.runners.ParentRunner.3 | 678f2be2f7c4a558 |
| org.junit.runners.model.FrameworkField | 483e074f630c2720 |
| org.junit.runners.model.FrameworkMember | 6b9f1505fe4f5d84 |
| org.junit.runners.model.FrameworkMethod | 78c84f58af3747e6 |
| org.junit.runners.model.FrameworkMethod.1 | 52edf435461bec2b |
| org.junit.runners.model.MultipleFailureException | 60322beb1d5c649b |
| org.junit.runners.model.RunnerBuilder | 0281d51b4f8328d4 |
| org.junit.runners.model.Statement | 9a75aa5de27bf4d5 |
| org.junit.runners.model.TestClass | 2bf85bd14e16d25e |