@ARGS
--test-repo provides.repo
add app app2
@EXPECT
ERROR: unsatisfiable constraints:
  libfoo-1:
    conflicts: libfoo-2
    satisfies: app-2[so:foo.so.1]
  libfoo-2:
    conflicts: libfoo-1
    satisfies: app2-2[so:foo.so.2]