summaryrefslogtreecommitdiff
path: root/test/error2.test
blob: db5f9c1026d79ec38f952e62b2cc10984473a812 (plain) (blame)
1
2
3
4
5
6
7
8
@ARGS
--test-repo complicated1.repo
add a d<1.5
@EXPECT
ERROR: unsatisfiable constraints:
  d-1.0:
    breaks: c-1[d>1.0]
    satisfies: world[d<1.5] b-1[d<2.0]