java.lang.AssertionError

GitHub | kheradmand | 2 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    java.lang.AssertionError: assertion failed

    GitHub | 12 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

    porting of a small non-deterministic language to K 4.0

    GitHub | 2 months ago | milpaolo
    java.lang.ClassCastException: org.kframework.kore.ADT$KSequence cannot be cast to org.kframework.kore.KRewrite

    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