12 files changed, 74 insertions, 20 deletions
diff --git a/test/conflict2.test b/test/conflict2.test
index c9f59ec..38566b6 100644
--- a/test/conflict2.test
+++ b/test/conflict2.test
@@ -2,5 +2,7 @@
 --test-repo conflict.repo
 add a b>1
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  world: b>1
+ERROR: unsatisfiable constraints:
+  b-2:
+    breaks: a-1[!b>1]
+    satisfies: world[b>1]
diff --git a/test/error1.test b/test/error1.test
index 4b1662e..c99c7df 100644
--- a/test/error1.test
+++ b/test/error1.test
@@ -2,5 +2,7 @@
 --test-repo complicated1.repo
 add a d>1.5
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  b-1: d<2.0
+ERROR: unsatisfiable constraints:
+  d-2.0:
+    breaks: b-1[d<2.0]
+    satisfies: world[d>1.5] c-1[d>1.0]
diff --git a/test/error2.test b/test/error2.test
index 7f10fb1..db5f9c1 100644
--- a/test/error2.test
+++ b/test/error2.test
@@ -2,5 +2,7 @@
 --test-repo complicated1.repo
 add a d<1.5
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  world: d<1.5
+ERROR: unsatisfiable constraints:
+  d-1.0:
+    breaks: c-1[d>1.0]
+    satisfies: world[d<1.5] b-1[d<2.0]
diff --git a/test/error3.test b/test/error3.test
index 2665374..9bd294d 100644
--- a/test/error3.test
+++ b/test/error3.test
@@ -2,5 +2,10 @@
 --test-repo complicated1.repo
 add a !b
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  a-3: b
+ERROR: unsatisfiable constraints:
+  d-2.0:
+    breaks: b-1[d<2.0]
+    satisfies: c-1[d>1.0]
+  b-1:
+    breaks: world[!b]
+    satisfies: a-3[b]
diff --git a/test/error4.test b/test/error4.test
index 5b22921..050f42b 100644
--- a/test/error4.test
+++ b/test/error4.test
@@ -2,5 +2,6 @@
 --test-repo complicated1.repo
 add a nonexistant
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  world: nonexistant
+ERROR: unsatisfiable constraints:
+  nonexistant (missing):
+    required by: world[nonexistant]
diff --git a/test/error5.test b/test/error5.test
index b424454..9aa1818 100644
--- a/test/error5.test
+++ b/test/error5.test
@@ -2,5 +2,5 @@
 --test-repo complicated1.repo
 add a>2
 @EXPECT
-ERROR: unsatisfiable dependencies:
+ERROR: unsatisfiable constraints:
   b-1: d<2.0
diff --git a/test/pinning11.test b/test/pinning11.test
index a3dd856..794eed5 100644
--- a/test/pinning11.test
+++ b/test/pinning11.test
@@ -4,5 +4,7 @@
 --test-world "a@testing"
 add c>=3
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  c-3: not pinned: @testing
+ERROR: unsatisfiable constraints:
+  c-3:
+    masked in: testing
+    satisfies: world[c>=3]
diff --git a/test/provides.repo b/test/provides.repo
index 2e4c979..a3dfec4 100644
--- a/test/provides.repo
+++ b/test/provides.repo
@@ -5,6 +5,13 @@ S:1
 I:1
 p:so:foo.so.1=1.0
 
+C:Q1EyN5AdpAOBJWKMR89pp/C66o+FE=
+P:libfoo
+V:2
+S:1
+I:1
+p:so:foo.so.2=1.0
+
 C:Q1eVpkasfqZAukAXFYbgwt4xAMZWU=
 P:app
 V:2
@@ -12,6 +19,13 @@ S:1
 I:1
 D:so:foo.so.1
 
+C:Q1eVpsasfqZAukAXFYbgwt4xAMZWX=
+P:app2
+V:2
+S:1
+I:1
+D:so:foo.so.2
+
 C:Q1EyN5AdpAOBJWKMR89pp/C66FFFF=
 P:mymailreader
 V:1
@@ -40,3 +54,10 @@ S:1
 I:1
 p:theservice=2
 
+C:Q1eVpkasfqZAukAXFYbgwt444Edde=
+P:selfconflicting
+V:1
+S:1
+I:1
+p:selfprovided=2
+p:selfprovided=3
diff --git a/test/provides2.test b/test/provides2.test
index ff509f8..9d3a2e4 100644
--- a/test/provides2.test
+++ b/test/provides2.test
@@ -2,8 +2,7 @@
 --test-repo provides.repo
 add mail-reader
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  world: mail-reader
-
-  mail-reader is a virtual package provided by:
-    mymailreader-1 mailreadplus-1
+ERROR: unsatisfiable constraints:
+  mail-reader (virtual):
+    provided by: mymailreader-1 mailreadplus-1
+    required by: world[mail-reader]
diff --git a/test/provides5.test b/test/provides5.test
index 906eb76..fc21ae2 100644
--- a/test/provides5.test
+++ b/test/provides5.test
@@ -2,5 +2,10 @@
 --test-repo provides.repo
 add server-a server-b
 @EXPECT
-ERROR: unsatisfiable dependencies:
-  world: server-a
+ERROR: unsatisfiable constraints:
+  server-a-1:
+    conflicts: server-b-1[theservice]
+    satisfies: world[server-a]
+  server-b-1:
+    conflicts: server-a-1[theservice]
+    satisfies: world[server-b]
diff --git a/test/provides6.test b/test/provides6.test
new file mode 100644
index 0000000..649ae20
--- /dev/null
+++ b/test/provides6.test
@@ -0,0 +1,11 @@
+@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]
diff --git a/test/provides7.test b/test/provides7.test
new file mode 100644
index 0000000..a7ac5ed
--- /dev/null
+++ b/test/provides7.test
@@ -0,0 +1,4 @@
+@ARGS
+--test-repo provides.repo
+add selfconflicting
+@EXPECT