This coverage report is based on execution data from the following sessions:
| Session | Start Time | Dump Time |
| cisc-ilyich-3825d76e | Jun 29, 2026, 3:04:26 PM | Jun 29, 2026, 3:04:27 PM |
Execution data for the following classes is considered in this report:
| Class | Id |
| dev.civl.gmc.CommandLineParser | 1fc5622959f164a8 |
| dev.civl.gmc.CommandLineParser.1 | 4ae323fe0a66bb2b |
| dev.civl.gmc.ErrorLog | 8384c42a5d02b1e8 |
| dev.civl.gmc.GMCConfiguration | e5f29cf39a40a26f |
| dev.civl.gmc.GMCSection | 3b2e4fc8c067bfc1 |
| dev.civl.gmc.GMCSection.1 | 7d1763703e26bca0 |
| dev.civl.gmc.GMCTest | 378624cd47031f59 |
| dev.civl.gmc.Option | 824d354dcacf7a12 |
| dev.civl.gmc.Option.OptionType | b1e1ee792e38a301 |
| dev.civl.gmc.ParserTest | b75c69b5bfcb41a4 |
| dev.civl.gmc.RandomTransitionChooser | 39e62d47bfee5c17 |
| dev.civl.gmc.Simulator | e5d90eb4c2b6186f |
| dev.civl.gmc.Simulator.1 | 9522a8fca3ab844d |
| dev.civl.gmc.Trace | fcdb21ead7e1fb19 |
| dev.civl.gmc.seq.DfsSearcher | 0e34c1386a6f4e08 |
| dev.civl.gmc.seq.SequentialNode | 78d31d1b45367228 |
| dev.civl.gmc.seq.SequentialNodeFactory | 4d1df851a59420fd |
| dev.civl.gmc.seq.StackEntry | a22b6e6e208e456d |
| dev.civl.gmc.seq.StateManager | a98aae855f301235 |
| dev.civl.gmc.smc.CoverageTest | bed77f0aa91a304c |
| dev.civl.gmc.smc.MatrixDirectedGraph | ffcfda4a6e1a3279 |
| dev.civl.gmc.smc.Predicate | 534ba5394c4de1ac |
| dev.civl.gmc.smc.SMC | cb327af9644a3d2d |
| dev.civl.gmc.smc.SMCConstants | 28616c604f082593 |
| dev.civl.gmc.smc.SMCEnabler | ce79bfc4a950394d |
| dev.civl.gmc.smc.SMCSimulator | 3f27f3c79c4e7d5b |
| dev.civl.gmc.smc.SimpleStateManager | e25feba4517a41c1 |
| dev.civl.gmc.smc.SimpleTest | 6053361e0e491f2d |
| dev.civl.gmc.smc.TestHelper | 59ded82ef2893a1a |
| dev.civl.gmc.smc.TraceStep | 65c318995256b5e3 |
| dev.civl.gmc.util.Utils | 4fb566b73dcb34d5 |
| 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 |
| sun.util.resources.cldr.provider.CLDRLocaleDataMetaInfo | cea799461486d92b |