From 8a9c0d0fdb6d82d568dccf23fab33911ab363f8a Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Wed, 3 Dec 2014 14:09:32 +0100
Subject: [PATCH] Utilize expressionToPattern in Repairman
---
src/main/scala/leon/refactor/Repairman.scala | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/refactor/Repairman.scala b/src/main/scala/leon/refactor/Repairman.scala
index bbaec332e..e34e20fdf 100644
--- a/src/main/scala/leon/refactor/Repairman.scala
+++ b/src/main/scala/leon/refactor/Repairman.scala
@@ -45,7 +45,11 @@ class Repairman(ctx: LeonContext, program: Program, fd: FunDef) {
val testsCases = inouts.collect {
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
val passes = if (testsCases.nonEmpty) {
--
GitLab