This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| ilyich-72a1b0cc | Feb 11, 2023, 8:57:32 PM | Feb 11, 2023, 8:57:33 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| edu.udel.cis.vsl.gmc.CommandLineParser | 53f842db0c85a638 |
| edu.udel.cis.vsl.gmc.CommandLineParser.1 | 6992f37395c40d85 |
| edu.udel.cis.vsl.gmc.ErrorLog | 1746cb44adb4f6f0 |
| edu.udel.cis.vsl.gmc.GMCConfiguration | 48da7edac3a44d18 |
| edu.udel.cis.vsl.gmc.GMCSection | ac1d92078d82de2d |
| edu.udel.cis.vsl.gmc.GMCSection.1 | 9351766b6d7dc777 |
| edu.udel.cis.vsl.gmc.GMCTest | 72eed59bed441083 |
| edu.udel.cis.vsl.gmc.Option | 6e8fb0cc1f1de53f |
| edu.udel.cis.vsl.gmc.Option.OptionType | 7b17272d96c83604 |
| edu.udel.cis.vsl.gmc.ParserTest | fff273bae9d0ffee |
| edu.udel.cis.vsl.gmc.RandomTransitionChooser | 18dbbca75211b2d8 |
| edu.udel.cis.vsl.gmc.Simulator | 8ef0c541dc8f401f |
| edu.udel.cis.vsl.gmc.Simulator.1 | e94863de4ed085da |
| edu.udel.cis.vsl.gmc.Trace | 681531e8e5f0cd50 |
| edu.udel.cis.vsl.gmc.seq.DfsSearcher | 60fb17d2a70ffd5f |
| edu.udel.cis.vsl.gmc.seq.SequentialNode | 1590993e069a9198 |
| edu.udel.cis.vsl.gmc.seq.SequentialNodeFactory | f701de10a96a5276 |
| edu.udel.cis.vsl.gmc.seq.StackEntry | 6f16ab473d1c4ac7 |
| edu.udel.cis.vsl.gmc.seq.StateManager | 5703e7c1b225eed8 |
| edu.udel.cis.vsl.gmc.smc.CoverageTest | a77830dec9fa6942 |
| edu.udel.cis.vsl.gmc.smc.MatrixDirectedGraph | c1648c77043bc8a3 |
| edu.udel.cis.vsl.gmc.smc.Predicate | 64f742fe303ee7b6 |
| edu.udel.cis.vsl.gmc.smc.SMC | a36d851f559a0444 |
| edu.udel.cis.vsl.gmc.smc.SMCConstants | 509523956c30b167 |
| edu.udel.cis.vsl.gmc.smc.SMCEnabler | a034a760e0db59e6 |
| edu.udel.cis.vsl.gmc.smc.SMCSimulator | fc84962e84fdddd3 |
| edu.udel.cis.vsl.gmc.smc.SimpleStateManager | ca9cb8048fa78c37 |
| edu.udel.cis.vsl.gmc.smc.SimpleTest | fed49c6a9ac49d8c |
| edu.udel.cis.vsl.gmc.smc.TestHelper | ea22def916f7d845 |
| edu.udel.cis.vsl.gmc.smc.TraceStep | 0ceba6a463073089 |
| edu.udel.cis.vsl.gmc.util.Utils | 613e4ee2a3ccc8a0 |
| 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 | 55fad36899952ead |
| 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 | d4539cffed539f0b |
| 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 | 1ed6a01f89bc9af2 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner | 014c03dc0d1feba0 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.2 | c4c6a69771209f1d |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.3 | 104c051a3cec6ba3 |
| 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 | 207c1eb7b17c95a0 |
| org.apache.tools.ant.util.DOMElementWriter | 341b102747c905df |
| org.apache.tools.ant.util.DOMElementWriter.XmlNamespacePolicy | 4c3c489a47c196be |
| org.apache.tools.ant.util.DateUtils | 9bbe724fcc903bfa |
| org.apache.tools.ant.util.FileUtils | 45f48550e3192251 |
| 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 |