This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| ilyich-1e933a99 | Sep 30, 2021, 7:12:59 PM | Sep 30, 2021, 7:12:59 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| edu.udel.cis.vsl.gmc.CommandLineParser | 2627a54822c3d0b0 |
| edu.udel.cis.vsl.gmc.CommandLineParser.1 | e77e95e8c042f89d |
| edu.udel.cis.vsl.gmc.ErrorLog | cdef6b6d6c52c9b9 |
| edu.udel.cis.vsl.gmc.GMCConfiguration | aab519fe3f9e0558 |
| edu.udel.cis.vsl.gmc.GMCSection | 48bbfeee8c267a12 |
| edu.udel.cis.vsl.gmc.GMCSection.1 | 195dd3fc5e81fb76 |
| edu.udel.cis.vsl.gmc.GMCTest | 3a0206a85ad88cc6 |
| edu.udel.cis.vsl.gmc.Option | df35019cee78c172 |
| edu.udel.cis.vsl.gmc.Option.OptionType | 1fb7a5d76d1821c7 |
| edu.udel.cis.vsl.gmc.ParserTest | bc7fff2abae18590 |
| edu.udel.cis.vsl.gmc.RandomTransitionChooser | 0b8ef196d11fcee6 |
| edu.udel.cis.vsl.gmc.Simulator | 0b27b58154d7fbe8 |
| edu.udel.cis.vsl.gmc.Simulator.1 | 5e8074e23e625adc |
| edu.udel.cis.vsl.gmc.Trace | db114e9080fc5e2d |
| edu.udel.cis.vsl.gmc.seq.DfsSearcher | f0f160a83e7f9885 |
| edu.udel.cis.vsl.gmc.seq.SequentialNode | 9895f6307243cfb7 |
| edu.udel.cis.vsl.gmc.seq.SequentialNodeFactory | a67b6d7221c3ddea |
| edu.udel.cis.vsl.gmc.seq.StackEntry | 7d5e030adfc41896 |
| edu.udel.cis.vsl.gmc.seq.StateManager | 2520421e5aef4c0a |
| edu.udel.cis.vsl.gmc.smc.CoverageTest | dad275ca1620adad |
| edu.udel.cis.vsl.gmc.smc.MatrixDirectedGraph | 683503fc5436937e |
| edu.udel.cis.vsl.gmc.smc.Predicate | ddfc87ad50d41df7 |
| edu.udel.cis.vsl.gmc.smc.SMC | 658bf9f2ca9c24d5 |
| edu.udel.cis.vsl.gmc.smc.SMCConstants | 294230d8f02dcbbe |
| edu.udel.cis.vsl.gmc.smc.SMCEnabler | b1ca6f02560a3381 |
| edu.udel.cis.vsl.gmc.smc.SMCSimulator | fc611f957112446b |
| edu.udel.cis.vsl.gmc.smc.SimpleStateManager | 90d9c89af56b858d |
| edu.udel.cis.vsl.gmc.smc.SimpleTest | 26ef663742625b28 |
| edu.udel.cis.vsl.gmc.smc.TestHelper | ebabf354d848f522 |
| edu.udel.cis.vsl.gmc.smc.TraceStep | 5d2b462870c67669 |
| edu.udel.cis.vsl.gmc.util.Utils | 71e929f6adac6fc4 |
| 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 |
| sun.util.resources.cldr.provider.CLDRLocaleDataMetaInfo | 3d1ea3e23b319ce9 |