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 app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at app//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:110) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:90) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:85) 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 app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at app//org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at app//org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at app//org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:110) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:90) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:85) 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 | 0s | failed |
Standard output
25199 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25199 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25230 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25230 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25246 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25246 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25261 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25277 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25277 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25293 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25308 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25308 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25324 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25324 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25339 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25355 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25371 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25371 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25386 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25386 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25386 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25386 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25386 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25402 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25402 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25418 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25418 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25433 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25464 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25464 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25483 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25496 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25504 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25512 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25527 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25527 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25555 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25574 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25590 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25599 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25606 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25606 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25622 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25637 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25637 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25653 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25668 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25668 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25684 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25684 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25700 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25715 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327) 25715 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading D:\a\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.java.abstraction.PrimitiveType at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327)