diff options
| author | Timo Teräs <timo.teras@iki.fi> | 2013-06-13 21:58:54 +0300 |
|---|---|---|
| committer | Timo Teräs <timo.teras@iki.fi> | 2013-06-13 21:59:08 +0300 |
| commit | 59d15ab2599777b24e65fad7a1fb052de4f5ef38 (patch) | |
| tree | 4b66c5254f346df3cb1675d3b1da9a50250d53cd /test/error3.test | |
| parent | 2ff59b7c23d81d819d8b2dc3268ee70f0cb4d71b (diff) | |
| download | apk-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/error3.test')
| -rw-r--r-- | test/error3.test | 2 |
1 files changed, 1 insertions, 1 deletions
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] |