This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| ilyich-e95541bf | Apr 17, 2026, 10:07:35 PM | Apr 17, 2026, 10:07:36 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| dev.civl.gmc.CommandLineParser | abf68fe6c1565107 |
| dev.civl.gmc.CommandLineParser.1 | d5240e5686552a98 |
| dev.civl.gmc.ErrorLog | 64b3d0018226aae2 |
| dev.civl.gmc.GMCConfiguration | aeff0255ab579a7b |
| dev.civl.gmc.GMCSection | 23ead5734d9bc792 |
| dev.civl.gmc.GMCSection.1 | 718e6ed6a025e44b |
| dev.civl.gmc.GMCTest | 5b9759e5dd68b80b |
| dev.civl.gmc.Option | 15c63e0d833daae1 |
| dev.civl.gmc.Option.OptionType | fe1daff80a1aceaa |
| dev.civl.gmc.ParserTest | 5ae2e70184550245 |
| dev.civl.gmc.RandomTransitionChooser | 0a28171a1ee38357 |
| dev.civl.gmc.Simulator | d964aa49621bc613 |
| dev.civl.gmc.Simulator.1 | e01c0156ea120109 |
| dev.civl.gmc.Trace | 55f6dc3f90747391 |
| dev.civl.gmc.seq.DfsSearcher | c82c3ffa95f36914 |
| dev.civl.gmc.seq.SequentialNode | 36a5e67b3133ecdb |
| dev.civl.gmc.seq.SequentialNodeFactory | d1af562ee5d2c453 |
| dev.civl.gmc.seq.StackEntry | dda8f333d1797441 |
| dev.civl.gmc.seq.StateManager | b54e031a886ab160 |
| dev.civl.gmc.smc.CoverageTest | 722954716b6b30e3 |
| dev.civl.gmc.smc.MatrixDirectedGraph | 55162031f9335f99 |
| dev.civl.gmc.smc.Predicate | 30a66a076ebea191 |
| dev.civl.gmc.smc.SMC | 08e2001e186baaae |
| dev.civl.gmc.smc.SMCConstants | 8131c97a9dfeb01b |
| dev.civl.gmc.smc.SMCEnabler | 17731d9f7daaf68e |
| dev.civl.gmc.smc.SMCSimulator | 18811d86828325ea |
| dev.civl.gmc.smc.SimpleStateManager | 71da61803a00729d |
| 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 | f2bc1e2a7ec75efd |
| org.apache.tools.ant.taskdefs.condition.Os | 5178ac30e5f34493 |
| org.apache.tools.ant.taskdefs.optional.junit.BaseTest | 7f623ae7afbeba3a |
| org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter | 68cceb7fc05f5ba9 |
| org.apache.tools.ant.taskdefs.optional.junit.CustomJUnit4TestAdapterCache | 966d75f17defe2b4 |
| org.apache.tools.ant.taskdefs.optional.junit.CustomJUnit4TestAdapterCache.1 | 40fde1ac393bdef8 |
| org.apache.tools.ant.taskdefs.optional.junit.FormatterElement | 2a1c1180ccf03261 |
| org.apache.tools.ant.taskdefs.optional.junit.FormatterElement.DelayedFileOutputStream | eb9258882f69990f |
| org.apache.tools.ant.taskdefs.optional.junit.IgnoredTestResult | c3edb7ba46fd9d0a |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTest | bcb5c9034f18e04e |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner | 6dfced17c115c36d |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.2 | 149b12dd3d667d58 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.3 | a8c3604f1b3c81f2 |
| org.apache.tools.ant.taskdefs.optional.junit.JUnitVersionHelper | 514bd10bccedca8e |
| org.apache.tools.ant.taskdefs.optional.junit.TestListenerWrapper | 1b9c690201e9d4b6 |
| org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter | 07cb2f11a417c289 |
| org.apache.tools.ant.util.DOMElementWriter | f60f9094153b354c |
| org.apache.tools.ant.util.DOMElementWriter.XmlNamespacePolicy | e8e4867c6c410771 |
| org.apache.tools.ant.util.DateUtils | 8b542a04a7ebaeee |
| org.apache.tools.ant.util.FileUtils | 6956b4c02624343a |
| org.apache.tools.ant.util.KeepAliveOutputStream | f2f1c5ef8497eab0 |
| 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 |