path: root/test/error1.expect

2 unsatisfiable dependencies (solution with 4 names)
world: d>1.5
c-1: d>1.0