Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
0%
successful |
Failed tests
initializationError
org.junit.platform.commons.PreconditionViolationException: Configuration error: You must configure at least one set of arguments for this @ParameterizedTest at app//org.junit.platform.commons.util.Preconditions.condition(Preconditions.java:299) at app//org.junit.jupiter.params.ParameterizedTestExtension.lambda$provideTestTemplateInvocationContexts$5(ParameterizedTestExtension.java:98) at java.base@11.0.18/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@11.0.18/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:281) at java.base@11.0.18/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655) at java.base@11.0.18/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) at java.base@11.0.18/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@11.0.18/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@11.0.18/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:497) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:110) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:44) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75) at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33) at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94) at com.sun.proxy.$Proxy2.stop(Unknown Source) at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193) at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60) at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
initializationError
org.junit.platform.commons.PreconditionViolationException: Configuration error: You must configure at least one set of arguments for this @ParameterizedTest at app//org.junit.platform.commons.util.Preconditions.condition(Preconditions.java:299) at app//org.junit.jupiter.params.ParameterizedTestExtension.lambda$provideTestTemplateInvocationContexts$5(ParameterizedTestExtension.java:98) at java.base@11.0.18/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@11.0.18/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:281) at java.base@11.0.18/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655) at java.base@11.0.18/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) at java.base@11.0.18/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@11.0.18/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@11.0.18/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:497) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:110) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:44) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75) at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33) at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94) at com.sun.proxy.$Proxy2.stop(Unknown Source) at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193) at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60) at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
Tests
| Test | Duration | Result |
|---|---|---|
| initializationError | 0s | failed |
| initializationError | 0.002s | failed |
Standard output
5205 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5210 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5227 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5230 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5232 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5238 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/uninterpreted1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5242 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.eq.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5243 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5251 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5252 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5253 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sinDouble.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5259 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5260 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/int1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5261 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/heap1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5262 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5271 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5278 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ite1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5280 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5281 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5282 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5283 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5284 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5291 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5299 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5309 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5310 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5310 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5313 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5318 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5325 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/uninterpreted1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5326 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.eq.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5326 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5327 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5328 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5329 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sinDouble.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5338 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5338 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/int1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5339 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/heap1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5340 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5341 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5350 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ite1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5351 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5352 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5354 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5355 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5356 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5357 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87) 5357 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:221) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.nparser.KeYParser at de.uka.ilkd.key.nparser.ParsingFacade.createParser(ParsingFacade.java:87)