From 59d15ab2599777b24e65fad7a1fb052de4f5ef38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Timo=20Ter=C3=A4s?= Date: Thu, 13 Jun 2013 21:58:54 +0300 Subject: solver, errors: fix few additional test cases and clean ups --- test/error1.test | 2 +- test/error3.test | 2 +- test/error5.test | 4 +++- 3 files changed, 5 insertions(+), 3 deletions(-) (limited to 'test') diff --git a/test/error1.test b/test/error1.test index c99c7df3cd..9060be90dd 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 9bd294db0b..8dfdd828e5 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 9aa18180d5..949fbe8c49 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] -- cgit v1.2.3