Skip to content
Snippets Groups Projects
Commit 8a9c0d0f authored by Emmanouil (Manos) Koukoutos's avatar Emmanouil (Manos) Koukoutos Committed by Etienne Kneuss
Browse files

Utilize expressionToPattern in Repairman

parent 0b38dce4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/scala/leon/refactor/Repairman.scala
+ 5
− 1
View file @ 8a9c0d0f
...@@ -45,7 +45,11 @@ class Repairman(ctx: LeonContext, program: Program, fd: FunDef) { ...@@ -45,7 +45,11 @@ class Repairman(ctx: LeonContext, program: Program, fd: FunDef) {
val testsCases = inouts.collect { val testsCases = inouts.collect {
case InOutExample(ins, outs) => case InOutExample(ins, outs) =>
GuardedCase(WildcardPattern(None), Equals(argsWrapped, tupleWrap(ins)), tupleWrap(outs)) val (patt, optGuard) = expressionToPattern(tupleWrap(ins))
optGuard match {
case BooleanLiteral(true) => SimpleCase(patt, tupleWrap(outs))
case guard => GuardedCase(WildcardPattern(None), guard, tupleWrap(outs))
}
}.toList }.toList
val passes = if (testsCases.nonEmpty) { val passes = if (testsCases.nonEmpty) {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment