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.7/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@17.0.7/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:283) at java.base@17.0.7/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625) at java.base@17.0.7/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509) at java.base@17.0.7/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499) at java.base@17.0.7/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@17.0.7/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@17.0.7/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@17.0.7/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.7/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.7/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.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77) at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@17.0.7/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.proxy2/jdk.proxy2.$Proxy5.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.7/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@17.0.7/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:283) at java.base@17.0.7/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1625) at java.base@17.0.7/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:509) at java.base@17.0.7/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:499) at java.base@17.0.7/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@17.0.7/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@17.0.7/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@17.0.7/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.7/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.7/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.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@17.0.7/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77) at java.base@17.0.7/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@17.0.7/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.proxy2/jdk.proxy2.$Proxy5.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 | 0.001s | failed |
| initializationError | 0s | failed |
Standard error
9519 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9566 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9566 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9753 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9828 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9828 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9828 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9844 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9988 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 9988 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10004 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10004 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10074 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10074 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10074 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10074 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10089 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10089 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10089 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10089 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10089 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10136 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10136 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10136 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10136 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10203 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10203 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10203 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10203 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10500 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10500 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10500 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10500 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10546 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10546 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10546 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10546 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10673 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10673 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10673 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10673 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10722 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10722 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10722 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10722 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10722 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10722 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10722 INFO Test worker d.u.i.k.s.n.MasterHandlerTest Test case has been marked ignore 10722 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10738 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10738 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10738 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28) 10785 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.proof.init.AbstractProfile at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225) Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.proof.init.AbstractProfile at de.uka.ilkd.key.proof.io.AbstractProblemLoader.<init>(AbstractProblemLoader.java:236) Caused by: java.lang.ExceptionInInitializerError: Exception java.lang.ExceptionInInitializerError [in thread "Test worker"] at de.uka.ilkd.key.proof.io.RuleSourceFactory.fromBuiltInRule(RuleSourceFactory.java:28)