Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by kheradmand
, 1 year ago
This exception has no message.
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)	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)