testLoadingOfTwoDifferentProofFiles()
Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType (file: src\test\resources\testcase\parser\MultipleRecursion\MultipleRecursion[MultipleRecursion__a()]_JML_normal_behavior_operation_contract_0.proof; caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType)
at app//de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:225)
at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:282)
at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:251)
at app//de.uka.ilkd.key.control.KeYEnvironment.load(KeYEnvironment.java:225)
at app//de.uka.ilkd.key.parser.TestParallelParsing$LoadThread.run(TestParallelParsing.java:114)
Caused by: java.lang.NoClassDefFoundError: Could not initialize class de.uka.ilkd.key.java.abstraction.PrimitiveType
at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:327)
at de.uka.ilkd.key.nparser.builder.DefaultBuilder.visitSortId(DefaultBuilder.java:36)
at de.uka.ilkd.key.nparser.KeYParser$SortIdContext.accept(KeYParser.java:3644)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.lambda$mapOf$0(AbstractBuilder.java:119)
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195)
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474)
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.mapOf(AbstractBuilder.java:119)
at de.uka.ilkd.key.nparser.builder.DeclarationBuilder.visitExtends_sorts(DeclarationBuilder.java:170)
at de.uka.ilkd.key.nparser.builder.DeclarationBuilder.visitExtends_sorts(DeclarationBuilder.java:39)
at de.uka.ilkd.key.nparser.KeYParser$Extends_sortsContext.accept(KeYParser.java:1716)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:46)
at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:36)
at de.uka.ilkd.key.nparser.builder.DeclarationBuilder.visitOne_sort_decl(DeclarationBuilder.java:111)
at de.uka.ilkd.key.nparser.KeYParser$One_sort_declContext.accept(KeYParser.java:1407)
at de.uka.ilkd.key.nparser.builder.DeclarationBuilder.visitSort_decls(DeclarationBuilder.java:103)
at de.uka.ilkd.key.nparser.KeYParser$Sort_declsContext.accept(KeYParser.java:1326)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.accept(AbstractBuilder.java:46)
at de.uka.ilkd.key.nparser.builder.DefaultBuilder.accept(DefaultBuilder.java:36)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.lambda$mapMapOf$1(AbstractBuilder.java:136)
at java.base/java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:195)
at java.base/java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1655)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474)
at java.base/java.util.stream.ForEachOps$ForEachOp.evaluateSequential(ForEachOps.java:150)
at java.base/java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateSequential(ForEachOps.java:173)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:497)
at java.base/java.util.stream.ReferencePipeline$7$1.accept(ReferencePipeline.java:274)
at java.base/java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
at java.base/java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:484)
at java.base/java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:474)
at java.base/java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:913)
at java.base/java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)
at java.base/java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:578)
at de.uka.ilkd.key.nparser.builder.AbstractBuilder.mapMapOf(AbstractBuilder.java:137)
at de.uka.ilkd.key.nparser.builder.DeclarationBuilder.visitDecls(DeclarationBuilder.java:48)
at de.uka.ilkd.key.nparser.KeYParser$DeclsContext.accept(KeYParser.java:515)
at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
at de.uka.ilkd.key.nparser.KeYParserBaseVisitor.visitFile(KeYParserBaseVisitor.java:24)
at de.uka.ilkd.key.nparser.KeYParser$FileContext.accept(KeYParser.java:313)
at de.uka.ilkd.key.nparser.KeyAst.accept(KeyAst.java:43)
at de.uka.ilkd.key.nparser.KeyIO.evalDeclarations(KeyIO.java:175)
at de.uka.ilkd.key.proof.io.KeYFile.readSorts(KeYFile.java:353)
at de.uka.ilkd.key.proof.io.LDTInput.read(LDTInput.java:117)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readEnvInput(ProblemInitializer.java:334)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readLDTIncludes(ProblemInitializer.java:171)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readIncludes(ProblemInitializer.java:183)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readEnvInput(ProblemInitializer.java:328)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readIncludes(ProblemInitializer.java:191)
at de.uka.ilkd.key.proof.init.ProblemInitializer.readEnvInput(ProblemInitializer.java:328)
at de.uka.ilkd.key.proof.init.ProblemInitializer.prepare(ProblemInitializer.java:452)
at de.uka.ilkd.key.proof.io.AbstractProblemLoader.createInitConfig(AbstractProblemLoader.java:549)
at de.uka.ilkd.key.proof.io.AbstractProblemLoader.loadEnvironment(AbstractProblemLoader.java:311)
at de.uka.ilkd.key.proof.io.AbstractProblemLoader.load(AbstractProblemLoader.java:275)
at de.uka.ilkd.key.proof.io.AbstractProblemLoader.load(AbstractProblemLoader.java:257)
at de.uka.ilkd.key.control.AbstractUserInterfaceControl.load(AbstractUserInterfaceControl.java:212)
... 4 more