java.lang.AssertionError

This exception has no message.

Samebug tips0

There are no available Samebug tips for this exception. If you know how to solve this issue, help other users by writing a short tip.

Don't give up yet. Paste your full stack trace to get a solution.

Solutions on the web2126

  • via Coderanch by Steve Luke, 11 months ago
    This exception has no message.
  • via Coderanch by Sudhir Kumar Ojha, 2 months ago
    This exception has no message.
  • This exception has no message.
  • Stack trace

    • java.lang.AssertionError at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:69) at org.kframework.definition.BasicModuleTransformer.processModule(transformers.scala:124) at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$3(transformers.scala:84) at scala.collection.mutable.MapLike.getOrElseUpdate$(MapLike.scala:206) at scala.collection.mutable.MapLike.getOrElseUpdate(MapLike.scala:203) at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$2(transformers.scala:84) at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66) at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:84) at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:76) at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234) at scala.collection.immutable.Set$Set3.foreach(Set.scala:166) at scala.collection.TraversableLike.map$(TraversableLike.scala:234) at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47) at scala.collection.SetLike.map$(SetLike.scala:101) at scala.collection.SetLike.map(SetLike.scala:101) at org.kframework.definition.BasicModuleTransformer.$anonfun$processModule$1(transformers.scala:124) at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66) at org.kframework.definition.BasicModuleTransformer.processModule(transformers.scala:124) at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$3(transformers.scala:84) at scala.collection.mutable.MapLike.getOrElseUpdate$(MapLike.scala:206) at scala.collection.mutable.MapLike.getOrElseUpdate(MapLike.scala:203) at org.kframework.definition.MemoizingModuleTransformer.$anonfun$apply$2(transformers.scala:84) at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66) at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:84) at org.kframework.definition.MemoizingModuleTransformer.apply(transformers.scala:76) at scala.Option.foreach(Option.scala:257) at org.kframework.definition.SelectiveDefinitionTransformer.$anonfun$apply$5(transformers.scala:217) at org.kframework.definition.SelectiveDefinitionTransformer.$anonfun$apply$5$adapted(transformers.scala:217) at scala.collection.immutable.List.foreach(List.scala:376) at org.kframework.definition.SelectiveDefinitionTransformer.apply(transformers.scala:217) at org.kframework.backend.java.kore.compile.ExpandMacrosDefinitionTransformer.apply(ExpandMacrosDefinitionTransformer.java:37) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at scala.Function1.$anonfun$andThen$1(Function1.scala:52) at org.kframework.backend.java.symbolic.JavaBackend.lambda$steps$0(JavaBackend.java:124) at org.kframework.kompile.Kompile.compile(Kompile.java:131) at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:56) at org.kframework.main.FrontEnd.main(FrontEnd.java:34) at org.kframework.main.Main.runApplication(Main.java:414) at org.kframework.main.Main.runApplication(Main.java:132) at org.kframework.main.Main.main(Main.java:74) Caused by: java.lang.AssertionError at org.kframework.backend.java.kil.KCollection.upKind(KCollection.java:126) at org.kframework.backend.java.compile.KOREtoBackendKIL.KList(KOREtoBackendKIL.java:87) at org.kframework.backend.java.compile.KOREtoBackendKIL.KApply1(KOREtoBackendKIL.java:117) at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:291) at java.util.stream.ReferencePipeline$3$1.accept(ReferencePipeline.java:193) at java.util.Iterator.forEachRemaining(Iterator.java:116) at java.util.Spliterators$IteratorSpliterator.forEachRemaining(Spliterators.java:1801) at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471) at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708) at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234) at java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:499) at org.kframework.backend.java.compile.KOREtoBackendKIL.KList(KOREtoBackendKIL.java:88) at org.kframework.backend.java.compile.KOREtoBackendKIL.KApply1(KOREtoBackendKIL.java:117) at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:291) at org.kframework.backend.java.compile.KOREtoBackendKIL.convert(KOREtoBackendKIL.java:299) at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:143) at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:124) at org.kframework.backend.java.kore.compile.ExpandMacros.expand(ExpandMacros.java:149) at org.kframework.definition.ModuleTransformer$$anon$1.process(transformers.scala:18) at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:137) at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:135) at org.kframework.definition.SentenceBasedModuleTransformer.$anonfun$process$1(transformers.scala:145) at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:234) at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:320) at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976) at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:976) at scala.collection.TraversableLike.map$(TraversableLike.scala:234) at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47) at scala.collection.SetLike.map$(SetLike.scala:101) at scala.collection.SetLike.map(SetLike.scala:101) at org.kframework.definition.SentenceBasedModuleTransformer.process(transformers.scala:142) at org.kframework.definition.BasicModuleTransformer.$anonfun$processModule$1(transformers.scala:124) at org.kframework.definition.ModuleTransformer.wrapExceptions(transformers.scala:66) ... 49 more

    Write tip

    You have a different solution? A short tip here would help you and many other users who saw this issue last week.

    Users with the same issue

    You’re the first here who have seen this exception.