java.lang.AssertionError

GitHub | kheradmand | 1 month ago
tip
Your exception is missing from the Samebug knowledge base.
Here are the best solutions we found on the Internet.
Click on the to mark the helpful solution and get rewards for you help.
  1. 0

    java.lang.AssertionError: assertion failed

    GitHub | 11 months ago | omarzd
    java.lang.AssertionError: assertion failed
  2. Speed up your debug routine!

    Automated exception search integrated into your IDE

  3. 0

    uncaught exception and unnecessary message

    GitHub | 1 year ago | grosu
    java.lang.ClassCastException: org.kframework.kore.ADT$KSequence cannot be cast to org.kframework.kore.KRewrite
  4. 0

    Git Dependencies

    GitHub | 2 years ago | rafael
    java.util.NoSuchElementException: key not found: git-project-name

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. java.lang.AssertionError

      No message provided

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