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]