summaryrefslogtreecommitdiff
path: root/test/error5.test
diff options
context:
space:
mode:
Diffstat (limited to 'test/error5.test')
-rw-r--r--test/error5.test4
1 files changed, 3 insertions, 1 deletions
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]