Include the JNA path workaround. #808
456 tests run, 0 skipped, 32 failed.
Annotations
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_040_generic_dot_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_040_generic_dot_expressions(_010_basic_cases_Test.java:81)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_040_generic_dot_expressions(_010_basic_cases_Test.java:35)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_050_arithmetic_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_050_arithmetic_expressions(_010_basic_cases_Test.java:85)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_050_arithmetic_expressions(_010_basic_cases_Test.java:39)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_020_spec_Test.test_test_110_specifications()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test$TestBody.test_test_110_specifications(_020_spec_Test.java:41)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test.test_test_110_specifications(_020_spec_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_100_temporal_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_100_temporal_expressions(_010_basic_cases_Test.java:109)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_100_temporal_expressions(_010_basic_cases_Test.java:63)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_040_init_and_trans_constraints()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_040_init_and_trans_constraints(_000_smoke_Test.java:69)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_040_init_and_trans_constraints(_000_smoke_Test.java:43)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_010_file1()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_010_file1(_010_basic_cases_Test.java:73)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_010_file1(_010_basic_cases_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_010_vars()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_010_vars(_010_basic_cases_Test.java:77)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_010_vars(_010_basic_cases_Test.java:31)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_000_only_comments()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_000_only_comments(_000_smoke_Test.java:53)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_000_only_comments(_000_smoke_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_090_case_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_090_case_expressions(_010_basic_cases_Test.java:105)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_090_case_expressions(_010_basic_cases_Test.java:59)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_080_module_types()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_080_module_types(_010_basic_cases_Test.java:97)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_080_module_types(_010_basic_cases_Test.java:51)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_020_spec_Test.test_test_120_fairness()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test$TestBody.test_test_120_fairness(_020_spec_Test.java:45)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test.test_test_120_fairness(_020_spec_Test.java:31)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_030_basic_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_030_basic_expressions(_000_smoke_Test.java:65)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_030_basic_expressions(_000_smoke_Test.java:39)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_070_logical_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_070_logical_expressions(_010_basic_cases_Test.java:93)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_070_logical_expressions(_010_basic_cases_Test.java:47)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_010_basic_modules()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_010_basic_modules(_000_smoke_Test.java:57)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_010_basic_modules(_000_smoke_Test.java:31)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_020_basic_assigns()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_020_basic_assigns(_000_smoke_Test.java:61)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_020_basic_assigns(_000_smoke_Test.java:35)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_081_module_types_inversed_order()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_081_module_types_inversed_order(_010_basic_cases_Test.java:101)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_081_module_types_inversed_order(_010_basic_cases_Test.java:55)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_040_generic_dot_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_040_generic_dot_expressions(_010_basic_cases_Test.java:81)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_040_generic_dot_expressions(_010_basic_cases_Test.java:35)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_050_arithmetic_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_050_arithmetic_expressions(_010_basic_cases_Test.java:85)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_050_arithmetic_expressions(_010_basic_cases_Test.java:39)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_020_spec_Test.test_test_110_specifications()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test$TestBody.test_test_110_specifications(_020_spec_Test.java:41)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._020_spec_Test.test_test_110_specifications(_020_spec_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_100_temporal_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_100_temporal_expressions(_010_basic_cases_Test.java:109)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_100_temporal_expressions(_010_basic_cases_Test.java:63)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_040_init_and_trans_constraints()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_040_init_and_trans_constraints(_000_smoke_Test.java:69)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_040_init_and_trans_constraints(_000_smoke_Test.java:43)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_010_file1()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_010_file1(_010_basic_cases_Test.java:73)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_010_file1(_010_basic_cases_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_010_vars()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_010_vars(_010_basic_cases_Test.java:77)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_010_vars(_010_basic_cases_Test.java:31)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_000_smoke_Test.test_test_000_only_comments()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test$TestBody.test_test_000_only_comments(_000_smoke_Test.java:53)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._000_smoke_Test.test_test_000_only_comments(_000_smoke_Test.java:27)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)
github-actions / JUnit Test Report
_010_basic_cases_Test.test_test_090_case_expressions()
loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
Raw output
java.lang.LinkageError: loader 'c.m.f.n.importer.rt' @33630764 attempted duplicate class definition for com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled. (com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser$$parboiled is in unnamed module of loader 'c.m.f.n.importer.rt' @33630764, parent loader com.intellij.ide.plugins.cl.PluginClassLoader @6c188135)
at java.base/java.lang.ClassLoader.defineClass0(Native Method)
at java.base/java.lang.System$2.defineClass(System.java:2307)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2439)
at java.base/java.lang.invoke.MethodHandles$Lookup$ClassDefiner.defineClass(MethodHandles.java:2416)
at java.base/java.lang.invoke.MethodHandles$Lookup.defineClass(MethodHandles.java:1843)
at c.m.f.n.importer.rt//org.parboiled.transform.AsmUtils.defineClass(AsmUtils.java:241)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.defineExtendedParserClass(ParserTransformer.java:105)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.extendParserClass(ParserTransformer.java:47)
at c.m.f.n.importer.rt//org.parboiled.transform.ParserTransformer.transformParser(ParserTransformer.java:39)
at c.m.f.n.importer.rt//org.parboiled.Parboiled.createParser(Parboiled.java:54)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVParser.importNuSMVFile(NuSMVParser.java:153)
at c.m.f.n.importer.rt//com.mbeddr.formal.nusmv.importer.rt.importer.NuSMVModelBuilder.importNuSMVFile(NuSMVModelBuilder.java:98)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer.Utils.importAndCheckSystem(Utils.java:64)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test$TestBody.test_test_090_case_expressions(_010_basic_cases_Test.java:105)
at t.m.formal.nusmv//test.mbeddr.formal.nusmv.nusmv_importer._010_basic_cases_Test.test_test_090_case_expressions(_010_basic_cases_Test.java:59)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at o.junit.junit5//org.junit.platform.commons.util.ReflectionUtils.invokeMethod(ReflectionUtils.java:727)
at o.junit.junit5//org.junit.jupiter.engine.execution.MethodInvocation.proceed(MethodInvocation.java:60)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$ValidatingInvocation.proceed(InvocationInterceptorChain.java:131)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.intercept(TimeoutExtension.java:156)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestableMethod(TimeoutExtension.java:147)
at o.junit.junit5//org.junit.jupiter.engine.extension.TimeoutExtension.interceptTestMethod(TimeoutExtension.java:86)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker$ReflectiveInterceptorCall.lambda$ofVoidMethod$0(InterceptingExecutableInvoker.java:103)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.lambda$invoke$0(InterceptingExecutableInvoker.java:93)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain$InterceptedInvocation.proceed(InvocationInterceptorChain.java:106)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.proceed(InvocationInterceptorChain.java:64)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.chainAndInvoke(InvocationInterceptorChain.java:45)
at o.junit.junit5//org.junit.jupiter.engine.execution.InvocationInterceptorChain.invoke(InvocationInterceptorChain.java:37)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:92)
at o.junit.junit5//org.junit.jupiter.engine.execution.InterceptingExecutableInvoker.invoke(InterceptingExecutableInvoker.java:86)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.lambda$invokeTestMethod$7(TestMethodTestDescriptor.java:217)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.invokeTestMethod(TestMethodTestDescriptor.java:213)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:138)
at o.junit.junit5//org.junit.jupiter.engine.descriptor.TestMethodTestDescriptor.execute(TestMethodTestDescriptor.java:68)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57)
at o.junit.junit5//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:147)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:127)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:90)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:55)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:102)
at o.junit.junit5//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:54)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86)
at o.junit.junit5//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.AbstractJUnit5Launcher.launchTests(AbstractJUnit5Launcher.java:53)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:64)
at j.m.l.test.junit5//jetbrains.mps.lang.test.junit5.ScriptJUnit5Launcher.launchTests(ScriptJUnit5Launcher.java:41)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.work(LaunchTestWorker.java:74)
at jetbrains.mps.tool.builder.WorkerBase.workFromMain(WorkerBase.java:139)
at jetbrains.mps.lang.test.launcher.LaunchTestWorker.main(LaunchTestWorker.java:91)