scala.MatchError: rec$0 (of class leon.purescala.Expressions$FunctionInvocation)

GitHub | BLepers | 4 months ago
  1. 0

    GitHub comment 214#234861966

    GitHub | 4 months ago | BLepers
    scala.MatchError: rec$0 (of class leon.purescala.Expressions$FunctionInvocation)
  2. 0

    GitHub comment 214#235562573

    GitHub | 4 months ago | BLepers
    scala.MatchError: rec$0 (of class leon.purescala.Expressions$FunctionInvocation)
  3. 0

    Overview of Spark for HPC

    slideshare.net | 1 year ago
    scala.MatchError: 0 (of class java.lang.Integer)
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    GitHub comment 2#132493746

    GitHub | 1 year ago | d6y
    scala.MatchError: 0 (of class java.lang.Integer)
  6. 0

    Additing a new column to DataFrame in Spark

    Stack Overflow | 7 months ago | NehaM
    scala.MatchError: 0 (of class java.lang.Character)

    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. scala.MatchError

      rec$0 (of class leon.purescala.Expressions$FunctionInvocation)

      at leon.transformations.SerialInstrumenter.mapInstCallWithArgs()
    2. leon.transformations
      SerialInstrumenter$$anonfun$apply$9.apply
      1. leon.transformations.SerialInstrumenter.mapInstCallWithArgs(SerialInstrumentationPhase.scala:261)
      2. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:575)
      3. leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:480)
      4. leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446)
      5. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687)
      6. leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:639)
      7. leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:638)
      8. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:671)
      9. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654)
      10. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654)
      11. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:626)
      12. leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:697)
      13. leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:287)
      14. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:337)
      15. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:323)
      15 frames
    3. Scala
      TraversableLike$WithFilter.foreach
      1. scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:733)
      2. scala.collection.immutable.HashMap$HashMap1.foreach(HashMap.scala:221)
      3. scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
      4. scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428)
      5. scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732)
      5 frames
    4. leon.transformations
      InstrumentationPhase$.apply
      1. leon.transformations.SerialInstrumenter.apply(SerialInstrumentationPhase.scala:323)
      2. leon.transformations.InstrumentationPhase$.apply(SerialInstrumentationPhase.scala:42)
      2 frames
    5. leon
      Main.main
      1. leon.TransformationPhase.run(LeonPhase.scala:22)
      2. leon.TransformationPhase.run(LeonPhase.scala:17)
      3. leon.Pipeline$$anon$1.run(Pipeline.scala:10)
      4. leon.Pipeline$$anon$1.run(Pipeline.scala:10)
      5. leon.Pipeline$$anon$1.run(Pipeline.scala:10)
      6. leon.Pipeline$$anon$1.run(Pipeline.scala:12)
      7. leon.Main$.execute(Main.scala:278)
      8. leon.Main$.main(Main.scala:262)
      9. leon.Main.main(Main.scala)
      9 frames
    6. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:498)
      4 frames
    7. Scala
      ScalaClassLoader$URLClassLoader.run
      1. scala.reflect.internal.util.ScalaClassLoader$$anonfun$run$1.apply(ScalaClassLoader.scala:70)
      2. scala.reflect.internal.util.ScalaClassLoader$class.asContext(ScalaClassLoader.scala:31)
      3. scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.asContext(ScalaClassLoader.scala:101)
      4. scala.reflect.internal.util.ScalaClassLoader$class.run(ScalaClassLoader.scala:70)
      5. scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.run(ScalaClassLoader.scala:101)
      5 frames
    8. Scala Compiler
      MainGenericRunner.main
      1. scala.tools.nsc.CommonRunner$class.run(ObjectRunner.scala:22)
      2. scala.tools.nsc.ObjectRunner$.run(ObjectRunner.scala:39)
      3. scala.tools.nsc.CommonRunner$class.runAndCatch(ObjectRunner.scala:29)
      4. scala.tools.nsc.ObjectRunner$.runAndCatch(ObjectRunner.scala:39)
      5. scala.tools.nsc.MainGenericRunner.runTarget$1(MainGenericRunner.scala:65)
      6. scala.tools.nsc.MainGenericRunner.run$1(MainGenericRunner.scala:87)
      7. scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:98)
      8. scala.tools.nsc.MainGenericRunner$.main(MainGenericRunner.scala:103)
      9. scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)
      9 frames