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 scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:732)	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.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)