summaryrefslogblamecommitdiff
path: root/test/error5.test
blob: 4becb3d9201e4a9927147e85ae162518fc601711 (plain) (tree)
1
2
3
4
5
6
7
8



                             
                                 


                                    
@ARGS
--test-repo complicated1.repo
add a>2
@EXPECT
ERROR: unsatisfiable constraints:
  d-2.0:
    breaks: b-1[d<2.0]
    satisfies: a-3[d>1.5] c-1[d>1.0]