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@17.0.6/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@17.0.6/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:283) at java.base@17.0.6/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625) at java.base@17.0.6/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509) at java.base@17.0.6/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499) at java.base@17.0.6/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@17.0.6/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@17.0.6/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@17.0.6/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:596) 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@17.0.6/java.util.ArrayList.forEach(ArrayList.java:1511) 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@17.0.6/java.util.ArrayList.forEach(ArrayList.java:1511) 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@17.0.6/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@17.0.6/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77) at java.base@17.0.6/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@17.0.6/java.lang.reflect.Method.invoke(Method.java:568) 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 jdk.proxy1/jdk.proxy1.$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@17.0.6/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@17.0.6/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:283) at java.base@17.0.6/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625) at java.base@17.0.6/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509) at java.base@17.0.6/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499) at java.base@17.0.6/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@17.0.6/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@17.0.6/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@17.0.6/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:596) 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@17.0.6/java.util.ArrayList.forEach(ArrayList.java:1511) 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@17.0.6/java.util.ArrayList.forEach(ArrayList.java:1511) 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@17.0.6/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@17.0.6/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77) at java.base@17.0.6/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@17.0.6/java.lang.reflect.Method.invoke(Method.java:568) 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 jdk.proxy1/jdk.proxy1.$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.001s | failed |
Standard output
24624 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) 24640 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) 24640 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) 24655 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) 24671 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) 24671 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) 24702 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) 24702 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) 24733 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) 24749 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) 24749 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) 24765 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) 24780 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) 24780 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) 24796 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) 24796 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) 24811 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) 24827 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) 24827 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) 24827 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 24827 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 24827 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 24827 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 24843 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) 24858 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) 24858 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) 24874 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) 24874 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) 24936 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) 24952 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) 24952 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) 24968 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) 24983 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) 24999 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) 25015 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) 25015 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) 25030 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) 25030 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) 25046 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) 25061 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) 25061 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) 25077 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) 25077 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) 25093 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) 25109 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) 25109 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) 25124 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) 25124 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25124 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25124 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25124 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 25140 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) 25140 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) 25156 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) 25171 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) 25171 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)