From 42334a240f1ad82735ca3518f1ac616a9ec61b0b Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 6 Feb 2015 16:10:58 +0100
Subject: [PATCH] Small non-functional benchmark changes
---
testcases/repair/Desugar/Desugar1.scala | 2 +-
testcases/repair/Desugar/Desugar3.scala | 5 +++--
2 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/testcases/repair/Desugar/Desugar1.scala b/testcases/repair/Desugar/Desugar1.scala
index 2971855c7..18ba8dadf 100644
--- a/testcases/repair/Desugar/Desugar1.scala
+++ b/testcases/repair/Desugar/Desugar1.scala
@@ -145,7 +145,7 @@ object Desugar {
@induct
def desugar(e : Trees.Expr) : SimpleE = { e match {
- case Trees.Plus (lhs, rhs) => Neg(desugar(lhs)) // FIXME: Complete nonsense. Leon can't disprove it, uses example...
+ case Trees.Plus (lhs, rhs) => Neg(desugar(lhs)) // FIXME: Complete nonsense
case Trees.Minus(lhs, rhs) => Plus(desugar(lhs), Neg(desugar(rhs)))
case Trees.LessThan(lhs, rhs) => LessThan(desugar(lhs), desugar(rhs))
case Trees.And (lhs, rhs) => Ite(desugar(lhs), desugar(rhs), Literal(0))
diff --git a/testcases/repair/Desugar/Desugar3.scala b/testcases/repair/Desugar/Desugar3.scala
index ec61a78a5..f1f23df5d 100644
--- a/testcases/repair/Desugar/Desugar3.scala
+++ b/testcases/repair/Desugar/Desugar3.scala
@@ -153,8 +153,9 @@ object Desugar {
case Trees.Not(e) => Ite(desugar(e), Literal(0), Literal(1))
case Trees.Eq(lhs, rhs) =>
Eq(desugar(lhs), desugar(rhs))
- // FIXME switched the branches
- case Trees.Ite(cond, thn, els) => Ite(desugar(cond), desugar(els), desugar(thn))
+ case Trees.Ite(cond, thn, els) =>
+ // FIXME switched the branches
+ Ite(desugar(cond), desugar(els), desugar(thn))
case Trees.IntLiteral(v) => Literal(v)
case Trees.BoolLiteral(b) => Literal(b2i(b))
}} ensuring { res =>
--
GitLab