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

GitHub | BLepers | 9 months 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

    GitHub comment 214#235562573

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

    GitHub comment 214#234861966

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

    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:263)
      2. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:577)
      3. leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:482)
      4. leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:448)
      5. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:689)
      6. leon.transformations.ExprInstrumenter$$anonfun$55.apply(SerialInstrumentationPhase.scala:641)
      7. leon.transformations.ExprInstrumenter$$anonfun$55.apply(SerialInstrumentationPhase.scala:640)
      8. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:673)
      9. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:656)
      10. leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:628)
      11. leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:699)
      12. leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:289)
      13. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:339)
      14. leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:325)
      14 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:325)
      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