summaryrefslogtreecommitdiff
path: root/test/pinning-overlay1.repo
diff options
context:
space:
mode:
authorTimo Teräs <timo.teras@iki.fi>2013-06-12 13:24:07 +0300
committerTimo Teräs <timo.teras@iki.fi>2013-06-13 18:22:00 +0300
commite7fd4d03bfd430053cca5161846889d5e2b1e2a1 (patch)
tree8a8d45d2dd52d30990c52e498be01831b55c7c7c /test/pinning-overlay1.repo
parent426a12686e6e6dcce11616c774176c01ad0985f9 (diff)
downloadapk-tools-e7fd4d03bfd430053cca5161846889d5e2b1e2a1.tar.gz
apk-tools-e7fd4d03bfd430053cca5161846889d5e2b1e2a1.tar.bz2
apk-tools-e7fd4d03bfd430053cca5161846889d5e2b1e2a1.tar.xz
apk-tools-e7fd4d03bfd430053cca5161846889d5e2b1e2a1.zip
solver: rewrite as deductive solver -- pinning support
Fix also pinning test cases to be more sane.
Diffstat (limited to 'test/pinning-overlay1.repo')
-rw-r--r--test/pinning-overlay1.repo20
1 files changed, 20 insertions, 0 deletions
diff --git a/test/pinning-overlay1.repo b/test/pinning-overlay1.repo
new file mode 100644
index 0000000..c41ddf7
--- /dev/null
+++ b/test/pinning-overlay1.repo
@@ -0,0 +1,20 @@
+C:Q1eVpkasfqZAukAXFYbgwt4xffZWU=
+P:a
+V:3
+S:1
+I:1
+D:b
+
+C:Q1hdUpqRv5mYgJEqW52UmVsv23ysE=
+P:b
+V:3
+S:1
+I:1
+
+C:Q1eVpkasfqZAukAXFYbg324xAt4WU=
+P:c
+V:3
+S:1
+I:1
+D:a>=3
+