path: root/test/error1.expect

3 unsatisfiable dependencies (solution with 3 names)
world: d>1.5
b-1: d<2.0
c-1: d>1.0