diff options
Diffstat (limited to 'test/error5.test')
| -rw-r--r-- | test/error5.test | 4 |
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] |