Class de.uka.ilkd.key.smt.newsmt2.MasterHandlerTest
|
0%
successful |
Failed tests
initializationError
org.junit.platform.commons.PreconditionViolationException: Configuration error: You must configure at least one set of arguments for this @ParameterizedTest at app//org.junit.platform.commons.util.Preconditions.condition(Preconditions.java:299) at app//org.junit.jupiter.params.ParameterizedTestExtension.lambda$provideTestTemplateInvocationContexts$5(ParameterizedTestExtension.java:98) at java.base@11.0.18/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@11.0.18/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:281) at java.base@11.0.18/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655) at java.base@11.0.18/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) at java.base@11.0.18/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@11.0.18/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@11.0.18/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:497) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:110) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:44) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75) at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33) at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94) at com.sun.proxy.$Proxy2.stop(Unknown Source) at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193) at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60) at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
initializationError
org.junit.platform.commons.PreconditionViolationException: Configuration error: You must configure at least one set of arguments for this @ParameterizedTest at app//org.junit.platform.commons.util.Preconditions.condition(Preconditions.java:299) at app//org.junit.jupiter.params.ParameterizedTestExtension.lambda$provideTestTemplateInvocationContexts$5(ParameterizedTestExtension.java:98) at java.base@11.0.18/java.util.stream.AbstractPipeline.close(AbstractPipeline.java:323) at java.base@11.0.18/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:281) at java.base@11.0.18/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655) at java.base@11.0.18/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484) at java.base@11.0.18/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150) at java.base@11.0.18/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173) at java.base@11.0.18/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.base@11.0.18/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:497) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:110) at app//org.junit.jupiter.engine.descriptor.TestTemplateTestDescriptor.execute(TestTemplateTestDescriptor.java:44) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:151) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at java.base@11.0.18/java.util.ArrayList.forEach(ArrayList.java:1541) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.invokeAll(SameThreadHierarchicalTestExecutorService.java:41) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$6(NodeTestTask.java:155) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$8(NodeTestTask.java:141) at app//org.junit.platform.engine.support.hierarchical.Node.around(Node.java:137) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.lambda$executeRecursively$9(NodeTestTask.java:139) at app//org.junit.platform.engine.support.hierarchical.ThrowableCollector.execute(ThrowableCollector.java:73) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.executeRecursively(NodeTestTask.java:138) at app//org.junit.platform.engine.support.hierarchical.NodeTestTask.execute(NodeTestTask.java:95) at app//org.junit.platform.engine.support.hierarchical.SameThreadHierarchicalTestExecutorService.submit(SameThreadHierarchicalTestExecutorService.java:35) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestExecutor.execute(HierarchicalTestExecutor.java:57) at app//org.junit.platform.engine.support.hierarchical.HierarchicalTestEngine.execute(HierarchicalTestEngine.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:107) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:88) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.lambda$execute$0(EngineExecutionOrchestrator.java:54) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.withInterceptedStreams(EngineExecutionOrchestrator.java:67) at org.junit.platform.launcher.core.EngineExecutionOrchestrator.execute(EngineExecutionOrchestrator.java:52) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:114) at org.junit.platform.launcher.core.DefaultLauncher.execute(DefaultLauncher.java:86) at org.junit.platform.launcher.core.DefaultLauncherSession$DelegatingLauncher.execute(DefaultLauncherSession.java:86) at org.junit.platform.launcher.core.SessionPerRequestLauncher.execute(SessionPerRequestLauncher.java:53) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.processAllTestClasses(JUnitPlatformTestClassProcessor.java:99) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor$CollectAllTestClassesExecutor.access$000(JUnitPlatformTestClassProcessor.java:79) at org.gradle.api.internal.tasks.testing.junitplatform.JUnitPlatformTestClassProcessor.stop(JUnitPlatformTestClassProcessor.java:75) at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.stop(SuiteTestClassProcessor.java:62) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at java.base@11.0.18/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at java.base@11.0.18/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.base@11.0.18/java.lang.reflect.Method.invoke(Method.java:566) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:36) at org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24) at org.gradle.internal.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:33) at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:94) at com.sun.proxy.$Proxy2.stop(Unknown Source) at org.gradle.api.internal.tasks.testing.worker.TestWorker$3.run(TestWorker.java:193) at org.gradle.api.internal.tasks.testing.worker.TestWorker.executeAndMaintainThreadName(TestWorker.java:129) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:100) at org.gradle.api.internal.tasks.testing.worker.TestWorker.execute(TestWorker.java:60) at org.gradle.process.internal.worker.child.ActionExecutionWorker.execute(ActionExecutionWorker.java:56) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:113) at org.gradle.process.internal.worker.child.SystemApplicationClassLoaderWorker.call(SystemApplicationClassLoaderWorker.java:65) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.run(GradleWorkerMain.java:69) at app//worker.org.gradle.process.internal.worker.GradleWorkerMain.main(GradleWorkerMain.java:74)
Tests
| Test | Duration | Result |
|---|---|---|
| initializationError | 0s | failed |
| initializationError | 0.001s | failed |
Standard output
294758 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 295520 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 296274 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 297032 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 297779 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 298537 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 299290 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/int1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 300045 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 300800 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 301557 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 302305 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 303057 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 303810 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/uninterpreted1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 304567 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 305314 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/heap1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 306067 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 306819 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 307568 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 308322 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 309077 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ite1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 309829 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.eq.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 310590 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 311349 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sinDouble.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 312103 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 312857 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 313614 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 314368 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 315120 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 315878 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 316635 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/upd1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 317388 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/int1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 318139 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sqrt1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 318890 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 319643 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 320392 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 321147 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 321907 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/uninterpreted1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 322655 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 323413 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/heap1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 324164 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/quant1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 324913 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ex2.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 325664 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/bool1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 326416 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/types1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 327165 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/ite1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 327920 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.eq.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 328673 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float1.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 329425 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/float.sinDouble.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88) 330174 ERROR Test worker d.u.i.k.s.n.MasterHandlerTest Error reading /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/smt/newsmt2/cases/cast3.props de.uka.ilkd.key.proof.io.ProblemLoaderException: An error occurred while parsing the libraries at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:228) Caused by: de.uka.ilkd.key.java.ConvertException: An error occurred while parsing the libraries at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: de.uka.ilkd.key.java.ConvertException: called method public de.uka.ilkd.key.java.reference.TypeReference de.uka.ilkd.key.java.Recoder2KeYConverter.convert(recoder.java.reference.TypeReference) threw exception. at de.uka.ilkd.key.java.Recoder2KeY.reportErrorWithPositionInFile(Recoder2KeY.java:1246) Caused by: java.lang.IllegalArgumentException: ProofJava produced column 0 at de.uka.ilkd.key.java.Position.fromPosition(Position.java:88)