From 3c6aa2dd27af049a13a5cc48dc0a0609a9dbe4b0 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 5 Apr 2016 14:15:22 +0200
Subject: [PATCH] Fix bad integration test
---
src/test/scala/leon/integration/purescala/ExprOpsSuite.scala | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala b/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
index 565dbdb14..28238bb59 100644
--- a/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
+++ b/src/test/scala/leon/integration/purescala/ExprOpsSuite.scala
@@ -41,6 +41,7 @@ class ExprOpsSuite extends LeonTestSuiteWithProgram with helpers.ExpressionsDSL
test("mapForPattern introduces casts"){ implicit fix =>
funDef("Casts1.aMatch").body match {
case Some(MatchExpr(scrut, Seq(MatchCase(p, None, b)))) =>
+ val bar3 = caseClassDef("Casts1.Bar3").typed
val bar4 = caseClassDef("Casts1.Bar4").typed
val i = caseClassDef("Casts1.Bar4").fields.head.id
@@ -48,7 +49,7 @@ class ExprOpsSuite extends LeonTestSuiteWithProgram with helpers.ExpressionsDSL
if (id.name == "b1") {
assert(v === AsInstanceOf(scrut, bar4))
} else if (id.name == "b2") {
- assert(v === CaseClassSelector(bar4, AsInstanceOf(scrut, bar4), i))
+ assert(v === AsInstanceOf(CaseClassSelector(bar4, AsInstanceOf(scrut, bar4), i), bar3))
} else {
fail("Map contained unknown entry "+id.asString)
}
--
GitLab