scala.MatchError

There are no available Samebug tips for this exception. Do you have an idea how to solve this issue? A short tip would help users who saw this issue last week.

  • GitHub comment 214#234861966
    via GitHub by BLepers
    ,
  • GitHub comment 214#235562573
    via GitHub by BLepers
    ,
    • 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)
    No Bugmate found.