From 5bf5101d461f4bc278ac2926b7452391da22a248 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 12 Dec 2014 15:43:08 +0100
Subject: [PATCH] Add example to a benchmark
---
testcases/synthesis/repair/Desugar/Desugar2.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/testcases/synthesis/repair/Desugar/Desugar2.scala b/testcases/synthesis/repair/Desugar/Desugar2.scala
index fc3b81d88..d070fc4a2 100644
--- a/testcases/synthesis/repair/Desugar/Desugar2.scala
+++ b/testcases/synthesis/repair/Desugar/Desugar2.scala
@@ -157,7 +157,10 @@ object Desugar {
case Trees.IntLiteral(v) => Literal(v)
case Trees.BoolLiteral(b) => Literal(b2i(b))
}} ensuring { res =>
- sem(res) == Semantics.semUntyped(e)
+ sem(res) == Semantics.semUntyped(e) && ((e,res) passes {
+ case Trees.Minus(Trees.IntLiteral(42), Trees.IntLiteral(i)) =>
+ Plus(Literal(42), Neg(Literal(i)))
+ })
}
def sem(e : SimpleE) : Int = e match {
--
GitLab