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