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

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via GitHub by BLepers
, 1 year ago
rec$0 (of class leon.purescala.Expressions$FunctionInvocation)
via GitHub by BLepers
, 1 year ago
rec$0 (of class leon.purescala.Expressions$FunctionInvocation)
scala.MatchError: rec$0 (of class leon.purescala.Expressions$FunctionInvocation)
at leon.transformations.SerialInstrumenter.mapInstCallWithArgs(SerialInstrumentationPhase.scala:261)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:575)
at leon.transformations.ExprInstrumenter.tupleifyRecur(SerialInstrumentationPhase.scala:480)
at leon.transformations.ExprInstrumenter.tupleify(SerialInstrumentationPhase.scala:446)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:687)
at leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:639)
at leon.transformations.ExprInstrumenter$$anonfun$54.apply(SerialInstrumentationPhase.scala:638)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:671)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:654)
at leon.transformations.ExprInstrumenter.transform(SerialInstrumentationPhase.scala:626)
at leon.transformations.ExprInstrumenter.apply(SerialInstrumentationPhase.scala:697)
at leon.transformations.SerialInstrumenter.leon$transformations$SerialInstrumenter$$mapBody$1(SerialInstrumentationPhase.scala:287)
at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:337)
at leon.transformations.SerialInstrumenter$$anonfun$apply$9.apply(SerialInstrumentationPhase.scala:323)
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 leon.transformations.SerialInstrumenter.apply(SerialInstrumentationPhase.scala:323)
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.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)

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.

Know the solutions? Share your knowledge to help other developers to debug faster.