From e7fd4d03bfd430053cca5161846889d5e2b1e2a1 Mon Sep 17 00:00:00 2001
From: Timo Teräs <timo.teras@iki.fi>
Date: Wed, 12 Jun 2013 13:24:07 +0300
Subject: solver: rewrite as deductive solver -- pinning support

Fix also pinning test cases to be more sane.
---
 test/pinning11.test | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/pinning11.test

(limited to 'test/pinning11.test')

diff --git a/test/pinning11.test b/test/pinning11.test
new file mode 100644
index 0000000..a3dd856
--- /dev/null
+++ b/test/pinning11.test
@@ -0,0 +1,8 @@
+@ARGS
+--test-repo pinning-basic.repo
+--test-repo testing:pinning-overlay1.repo
+--test-world "a@testing"
+add c>=3
+@EXPECT
+ERROR: unsatisfiable dependencies:
+  c-3: not pinned: @testing
-- 
cgit v1.2.3-60-g2f50