This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| ilyich-ab6c69ff | Oct 9, 2023, 3:39:23 PM | Oct 9, 2023, 3:39:24 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| dev.civl.gmc.CommandLineParser | 3984dd39b5be7ce8 |
| dev.civl.gmc.CommandLineParser.1 | d5240e5686552a98 |
| dev.civl.gmc.ErrorLog | 5353731cd7251382 |
| dev.civl.gmc.GMCConfiguration | 06307a240ec74acf |
| dev.civl.gmc.GMCSection | 2fd3be51189c97d7 |
| dev.civl.gmc.GMCSection.1 | 718e6ed6a025e44b |
| dev.civl.gmc.GMCTest | 5b9759e5dd68b80b |
| dev.civl.gmc.Option | c1576c1828ab674e |
| dev.civl.gmc.Option.OptionType | 307db06e0650c669 |
| dev.civl.gmc.ParserTest | 5ae2e70184550245 |
| dev.civl.gmc.RandomTransitionChooser | 0a28171a1ee38357 |
| dev.civl.gmc.Simulator | 599acc099ee003c5 |
| dev.civl.gmc.Simulator.1 | 780b939450987eff |
| dev.civl.gmc.Trace | 55f6dc3f90747391 |
| dev.civl.gmc.seq.DfsSearcher | d32b308db405fc28 |
| dev.civl.gmc.seq.SequentialNode | 36a5e67b3133ecdb |
| dev.civl.gmc.seq.SequentialNodeFactory | 39fd6f4a383a4284 |
| dev.civl.gmc.seq.StackEntry | dda8f333d1797441 |
| dev.civl.gmc.seq.StateManager | 984639bf9ee2c115 |
| dev.civl.gmc.smc.CoverageTest | 722954716b6b30e3 |
| dev.civl.gmc.smc.MatrixDirectedGraph | 55162031f9335f99 |
| dev.civl.gmc.smc.Predicate | 4f244dae3e5820fa |
| dev.civl.gmc.smc.SMC | 08e2001e186baaae |
| dev.civl.gmc.smc.SMCConstants | 8131c97a9dfeb01b |
| dev.civl.gmc.smc.SMCEnabler | a2c857010d1656af |
| dev.civl.gmc.smc.SMCSimulator | 18811d86828325ea |
| dev.civl.gmc.smc.SimpleStateManager | 1c8c6bc4f932b829 |
| dev.civl.gmc.smc.SimpleTest | c6b798e811677987 |
| dev.civl.gmc.smc.TestHelper | 575678c458125e2c |
| dev.civl.gmc.smc.TraceStep | ee63cba41df07678 |
| dev.civl.gmc.util.Utils | 195df8ea276936f8 |
| junit.framework.JUnit4TestAdapter | 3b062d0858b0962d |
| junit.framework.JUnit4TestAdapterCache | 0334d2b5a2e7a23c |
| junit.framework.JUnit4TestCaseFacade | d442017b9571597c |
| junit.framework.TestResult | fad0ea4da73e67e2 |
| 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.junit.Assert | eda6db924019425b |
| org.junit.internal.Checks | 5f543b0bb87b92da |
| org.junit.internal.MethodSorter | a26607ae067f7352 |
| org.junit.internal.MethodSorter.1 | d3997b4bdb7889c1 |
| org.junit.internal.MethodSorter.2 | c8e6351cbf098013 |
| org.junit.internal.builders.AllDefaultPossibilitiesBuilder | 4f18a1d7932cb8ab |
| org.junit.internal.builders.AnnotatedBuilder | 0faf353d180c9332 |
| org.junit.internal.builders.IgnoredBuilder | e152f333c53967a6 |
| org.junit.internal.builders.JUnit3Builder | 4a2cc8e608e1275e |
| org.junit.internal.builders.JUnit4Builder | f2e00a3e1fc23005 |
| org.junit.internal.builders.SuiteMethodBuilder | 1df136431e07e393 |
| org.junit.internal.requests.ClassRequest | 47dbc61675e5a92e |
| org.junit.internal.requests.ClassRequest.CustomAllDefaultPossibilitiesBuilder | ea1c269d9656f543 |
| org.junit.internal.requests.ClassRequest.CustomSuiteMethodBuilder | 03d01020b1c503c7 |
| org.junit.internal.requests.MemoizingRequest | 1e70801476dbab8f |
| org.junit.internal.runners.model.EachTestNotifier | 077481995383e000 |
| org.junit.internal.runners.model.ReflectiveCallable | d591724635588bcb |
| org.junit.internal.runners.rules.RuleMemberValidator | 95b5ee2068ec6875 |
| org.junit.internal.runners.rules.RuleMemberValidator.Builder | f24845fa6fd065af |
| org.junit.internal.runners.rules.RuleMemberValidator.DeclaringClassMustBePublic | 1de994463c748d89 |
| org.junit.internal.runners.rules.RuleMemberValidator.FieldMustBeARule | e24e9f59de6fe5b7 |
| org.junit.internal.runners.rules.RuleMemberValidator.FieldMustBeATestRule | 690823bd2992f52e |
| org.junit.internal.runners.rules.RuleMemberValidator.MemberMustBeNonStaticOrAlsoClassRule | 1e703fb3e7f4e533 |
| org.junit.internal.runners.rules.RuleMemberValidator.MemberMustBePublic | 806c174eb921b478 |
| org.junit.internal.runners.rules.RuleMemberValidator.MemberMustBeStatic | ac28a03dd36b2b5a |
| org.junit.internal.runners.rules.RuleMemberValidator.MethodMustBeARule | 88ea4a2237de2b8b |
| org.junit.internal.runners.rules.RuleMemberValidator.MethodMustBeATestRule | 9f4dd18a26005c18 |
| org.junit.internal.runners.statements.InvokeMethod | 05a7aa636afa2c39 |
| org.junit.internal.runners.statements.RunAfters | 14a998d07920cd7b |
| org.junit.internal.runners.statements.RunBefores | ef86a61ca3ab20ba |
| org.junit.runner.Description | 1d6f7ddbbf223f9a |
| org.junit.runner.Request | 214d9ade1c7dc38d |
| org.junit.runner.Runner | f5abacc70e2e08a4 |
| org.junit.runner.notification.RunListener | 69d2c783b42f6720 |
| org.junit.runner.notification.RunNotifier | f6313076e2224ebb |
| org.junit.runner.notification.RunNotifier.3 | df2bada5cb3794f3 |
| org.junit.runner.notification.RunNotifier.4 | fbdd84204c215de7 |
| org.junit.runner.notification.RunNotifier.5 | f62dc396b601f8bd |
| org.junit.runner.notification.RunNotifier.9 | c3c3d54b8ed47ee1 |
| org.junit.runner.notification.RunNotifier.SafeNotifier | 0b43c10299733bfb |
| org.junit.runner.notification.SynchronizedRunListener | 2b59d5cb3b105225 |
| org.junit.runners.BlockJUnit4ClassRunner | 95752fb34ff12f3f |
| org.junit.runners.BlockJUnit4ClassRunner.1 | d0f63145230a5f42 |
| org.junit.runners.BlockJUnit4ClassRunner.2 | f93eace695ddd30e |
| org.junit.runners.BlockJUnit4ClassRunner.RuleCollector | 9c768e710e39c989 |
| org.junit.runners.JUnit4 | 6d26e2305347fe01 |
| org.junit.runners.ParentRunner | 335ee90b10f96ea1 |
| org.junit.runners.ParentRunner.1 | ecc6961e8bc209c4 |
| org.junit.runners.ParentRunner.2 | c5cb913a629ec4c8 |
| org.junit.runners.ParentRunner.3 | 20bad8188aebc0f2 |
| org.junit.runners.ParentRunner.4 | 80476dbdcb8d52cc |
| org.junit.runners.ParentRunner.ClassRuleCollector | 26f7fb338afcd13b |
| org.junit.runners.RuleContainer | d44c3ba6dc65af53 |
| org.junit.runners.RuleContainer.1 | 57bbc73f6f47763b |
| org.junit.runners.model.FrameworkField | 2fe27c284e7d39f4 |
| org.junit.runners.model.FrameworkMember | bfd059486f267475 |
| org.junit.runners.model.FrameworkMethod | f293b82d5aa86323 |
| org.junit.runners.model.FrameworkMethod.1 | 8fd5e02769c0e0c2 |
| org.junit.runners.model.MultipleFailureException | 187a72c573c34bac |
| org.junit.runners.model.RunnerBuilder | 585cad2d320dc86e |
| org.junit.runners.model.Statement | 9a75aa5de27bf4d5 |
| org.junit.runners.model.TestClass | 7e71209792391ee8 |
| org.junit.runners.model.TestClass.FieldComparator | 1b96cd3d5c4aeb07 |
| org.junit.runners.model.TestClass.MethodComparator | 0369eb29eb04248a |
| org.junit.validator.AnnotationValidatorFactory | e1e5570798173ab9 |
| org.junit.validator.AnnotationsValidator | 6cbe8454c9a93bb8 |
| org.junit.validator.AnnotationsValidator.AnnotatableValidator | d211a963f22be103 |
| org.junit.validator.AnnotationsValidator.ClassValidator | 1b463c4e6642e880 |
| org.junit.validator.AnnotationsValidator.FieldValidator | 64068b954dc56a31 |
| org.junit.validator.AnnotationsValidator.MethodValidator | f16b57f17c787036 |
| org.junit.validator.PublicClassValidator | 3bac248cf06b18e4 |
| sun.util.resources.cldr.provider.CLDRLocaleDataMetaInfo | 9ed83010eeaa402e |