From 632397c0db779ee16411628335b8a2f5fc53cd1c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Wed, 4 May 2016 12:17:00 +0200
Subject: [PATCH] fixed StringMinChange
---
.../leon/integration/solvers/StringSolverSuite.scala | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/test/scala/leon/integration/solvers/StringSolverSuite.scala b/src/test/scala/leon/integration/solvers/StringSolverSuite.scala
index 6faad419e..9ba209b8c 100644
--- a/src/test/scala/leon/integration/solvers/StringSolverSuite.scala
+++ b/src/test/scala/leon/integration/solvers/StringSolverSuite.scala
@@ -252,11 +252,11 @@ T2: ret Pop() -> 5"""
val v = idMap("v")
val w = idMap("w")
val solutions = solveMinChange(problem, Map(u -> "a", v -> "b", w -> "c"))
- solutions(0) should equal (Map(v -> "kb"))
- solutions(1) should equal (Map(u -> "ak"))
- (2 to 5).toSet.map((i: Int) => solutions(i)) should equal (Set(Map(v -> "", w -> "kbc")
- , Map(v -> "k", w -> "bc")
- , Map(v -> "kb", w -> "c")
- , Map(v -> "kbc", w -> "")))
+ solutions(0) should equal (Map(u -> "ak"))
+ solutions(1) should equal (Map(v -> "kb"))
+ (2 to 5).toSet.map((i: Int) => solutions(i)) should equal (Set(Map(u -> "", v -> "akb")
+ , Map(u -> "a", v -> "kb")
+ , Map(u -> "ak", v -> "b")
+ , Map(u -> "akb", v -> "")))
}
}
\ No newline at end of file
--
GitLab