summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTimo Teräs <timo.teras@iki.fi>2013-06-13 21:58:54 +0300
committerTimo Teräs <timo.teras@iki.fi>2013-06-13 21:59:08 +0300
commit59d15ab2599777b24e65fad7a1fb052de4f5ef38 (patch)
tree4b66c5254f346df3cb1675d3b1da9a50250d53cd /test
parent2ff59b7c23d81d819d8b2dc3268ee70f0cb4d71b (diff)
downloadapk-tools-59d15ab2599777b24e65fad7a1fb052de4f5ef38.tar.gz
apk-tools-59d15ab2599777b24e65fad7a1fb052de4f5ef38.tar.bz2
apk-tools-59d15ab2599777b24e65fad7a1fb052de4f5ef38.tar.xz
apk-tools-59d15ab2599777b24e65fad7a1fb052de4f5ef38.zip
solver, errors: fix few additional test cases and clean ups
Diffstat (limited to 'test')
-rw-r--r--test/error1.test2
-rw-r--r--test/error3.test2
-rw-r--r--test/error5.test4
3 files changed, 5 insertions, 3 deletions
diff --git a/test/error1.test b/test/error1.test
index c99c7df..9060be9 100644
--- a/test/error1.test
+++ b/test/error1.test
@@ -5,4 +5,4 @@ add a d>1.5
ERROR: unsatisfiable constraints:
d-2.0:
breaks: b-1[d<2.0]
- satisfies: world[d>1.5] c-1[d>1.0]
+ satisfies: world[d>1.5] a-3[d>1.5] c-1[d>1.0]
diff --git a/test/error3.test b/test/error3.test
index 9bd294d..8dfdd82 100644
--- a/test/error3.test
+++ b/test/error3.test
@@ -5,7 +5,7 @@ add a !b
ERROR: unsatisfiable constraints:
d-2.0:
breaks: b-1[d<2.0]
- satisfies: c-1[d>1.0]
+ satisfies: a-3[d>1.5] c-1[d>1.0]
b-1:
breaks: world[!b]
satisfies: a-3[b]
diff --git a/test/error5.test b/test/error5.test
index 9aa1818..949fbe8 100644
--- a/test/error5.test
+++ b/test/error5.test
@@ -3,4 +3,6 @@
add a>2
@EXPECT
ERROR: unsatisfiable constraints:
- b-1: d<2.0
+ d-1.5:
+ breaks: a-3[d>1.5]
+ satisfies: b-1[d<2.0] c-1[d>1.0]