summaryrefslogtreecommitdiff
path: root/test/error1.test
blob: c99c7df3cd9f94543a5e5bddf6f2e8d2679815a4 (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-2.0:
    breaks: b-1[d<2.0]
    satisfies: world[d>1.5] c-1[d>1.0]