scala.MatchError

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

Samebug tips0

We couldn't find tips for this exception.

Don't give up yet. Paste your full stack trace to get a solution.

Solutions on the web2

  • via GitHub by BLepers
    ,
  • via GitHub by BLepers
    ,
  • Stack trace

    • scala.MatchError: rec$0 (of class leon.purescala.Expressions$FunctionInvocation) at leon.transformations.SerialInstrumenter.mapInstCallWithArgs(SerialInstrumentationPhase.scala:263) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:577) at leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:482) at leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:448) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:689) at leon.transformations.ExprInstrumenter$$anonfun$55.apply(SerialInstrumentationPhase.scala:641) at leon.transformations.ExprInstrumenter$$anonfun$55.apply(SerialInstrumentationPhase.scala:640) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:673) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:656) at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:628) at leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:699) at leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:289) at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:339) at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:325) at scala.collection.TraversableLike$WithFilter$$anonfun$foreach$1.apply(TraversableLike.scala:733) at scala.collection.immutable.HashMap$HashMap1.foreach(HashMap.scala:221) at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428) at scala.collection.immutable.HashMap$HashTrieMap.foreach(HashMap.scala:428) at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732) at leon.transformations.SerialInstrumenter.apply(SerialInstrumentationPhase.scala:325) at leon.transformations.InstrumentationPhase$.apply(SerialInstrumentationPhase.scala:42) at leon.TransformationPhase.run(LeonPhase.scala:22) at leon.TransformationPhase.run(LeonPhase.scala:17) at leon.Pipeline$$anon$1.run(Pipeline.scala:10) at leon.Pipeline$$anon$1.run(Pipeline.scala:10) at leon.Pipeline$$anon$1.run(Pipeline.scala:10) at leon.Pipeline$$anon$1.run(Pipeline.scala:12) at leon.Main$.execute(Main.scala:278) at leon.Main$.main(Main.scala:262) at leon.Main.main(Main.scala) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43) at java.lang.reflect.Method.invoke(Method.java:498) at scala.reflect.internal.util.ScalaClassLoader$$anonfun$run$1.apply(ScalaClassLoader.scala:70) at scala.reflect.internal.util.ScalaClassLoader$class.asContext(ScalaClassLoader.scala:31) at scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.asContext(ScalaClassLoader.scala:101) at scala.reflect.internal.util.ScalaClassLoader$class.run(ScalaClassLoader.scala:70) at scala.reflect.internal.util.ScalaClassLoader$URLClassLoader.run(ScalaClassLoader.scala:101) at scala.tools.nsc.CommonRunner$class.run(ObjectRunner.scala:22) at scala.tools.nsc.ObjectRunner$.run(ObjectRunner.scala:39) at scala.tools.nsc.CommonRunner$class.runAndCatch(ObjectRunner.scala:29) at scala.tools.nsc.ObjectRunner$.runAndCatch(ObjectRunner.scala:39) at scala.tools.nsc.MainGenericRunner.runTarget$1(MainGenericRunner.scala:65) at scala.tools.nsc.MainGenericRunner.run$1(MainGenericRunner.scala:87) at scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:98) at scala.tools.nsc.MainGenericRunner$.main(MainGenericRunner.scala:103) at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

    Write tip

    You have a different solution? A short tip here would help you and many other users who saw this issue last week.

    Users with the same issue

    We couldn't find other users who have seen this exception.