Add testcases for proof generation

diff --git a/test/testcases/proof/pubg1.t b/test/testcases/proof/pubg1.t
new file mode 100644 (file)
index 0000000..bb59541
--- /dev/null
+++ b/test/testcases/proof/pubg1.t
@@ -0,0 +1,101 @@
+# test proof generation. Testcase adapted from the pubgrub documentation.
+
+repo system 0 testtags <inline>
+repo available 0 testtags <inline>
+#>=Pkg: menu 1.5.0 0 i586
+#>=Req: dropdown >= 2.0.0
+#>=Pkg: menu 1.4.0 0 i586
+#>=Req: dropdown >= 2.0.0
+#>=Pkg: menu 1.3.0 0 i586
+#>=Req: dropdown >= 2.0.0
+#>=Pkg: menu 1.2.0 0 i586
+#>=Req: dropdown >= 2.0.0
+#>=Pkg: menu 1.1.0 0 i586
+#>=Req: dropdown >= 2.0.0
+#>=Pkg: menu 1.0.0 0 i586
+#>=Req: dropdown = 1.8.0
+#>=Pkg: dropdown 2.3.0 0 i586
+#>=Req: icons >= 2.0.0
+#>=Pkg: dropdown 2.2.0 0 i586
+#>=Req: icons >= 2.0.0
+#>=Pkg: dropdown 2.1.0 0 i586
+#>=Req: icons >= 2.0.0
+#>=Pkg: dropdown 2.0.0 0 i586
+#>=Req: icons >= 2.0.0
+#>=Pkg: dropdown 1.8.0 0 i586
+#>=Req: intl = 3.0.0
+#>=Pkg: icons 2.0.0 0 i586
+#>=Pkg: icons 1.0.0 0 i586
+#>=Pkg: intl 5.0.0 0 i586
+#>=Pkg: intl 4.0.0 0 i586
+#>=Pkg: intl 3.0.0 0 i586
+system i586 * system
+job install name menu
+job install name icons = 1.0.0
+job install name intl = 5.0.0
+result proof <inline>
+#>proof 77cc0794   0 job a8f3723000d5bf17a40da5be2d55acb7
+#>proof 77cc0794   0: -->  icons-1.0.0-0.i586@available
+#>proof 77cc0794   1 job 849a236b2c0babcf452280f9329ffb60
+#>proof 77cc0794   1: -->  intl-5.0.0-0.i586@available
+#>proof 77cc0794   2 pkg 6c71dff8447cb37961072789ddd1fc28
+#>proof 77cc0794   2:     -icons-1.0.0-0.i586@available
+#>proof 77cc0794   2: --> -icons-2.0.0-0.i586@available
+#>proof 77cc0794   3 pkg 75f23e7b139dc557bc73357bf8e40d1b
+#>proof 77cc0794   3:     -intl-5.0.0-0.i586@available
+#>proof 77cc0794   3: --> -intl-3.0.0-0.i586@available
+#>proof 77cc0794   4 pkg 4c82e21bc96ae251873e1ba9feac331c
+#>proof 77cc0794   4:      icons-2.0.0-0.i586@available
+#>proof 77cc0794   4: --> -dropdown-2.0.0-0.i586@available
+#>proof 77cc0794   5 pkg 96da3bd30552ae62ce3062277fe4930c
+#>proof 77cc0794   5:      icons-2.0.0-0.i586@available
+#>proof 77cc0794   5: --> -dropdown-2.1.0-0.i586@available
+#>proof 77cc0794   6 pkg 470e5e3a3b2a41c4a0665bbd62efa27d
+#>proof 77cc0794   6:      icons-2.0.0-0.i586@available
+#>proof 77cc0794   6: --> -dropdown-2.2.0-0.i586@available
+#>proof 77cc0794   7 pkg 55e8f978138411bc3de867ae0581e135
+#>proof 77cc0794   7:      icons-2.0.0-0.i586@available
+#>proof 77cc0794   7: --> -dropdown-2.3.0-0.i586@available
+#>proof 77cc0794   8 pkg f0d9c6d1203c0f16e039a27badb251e7
+#>proof 77cc0794   8:      intl-3.0.0-0.i586@available
+#>proof 77cc0794   8: --> -dropdown-1.8.0-0.i586@available
+#>proof 77cc0794   9 pkg 9791632a332a9e6f8346ee160d85c883
+#>proof 77cc0794   9:      dropdown-2.0.0-0.i586@available
+#>proof 77cc0794   9:      dropdown-2.1.0-0.i586@available
+#>proof 77cc0794   9:      dropdown-2.2.0-0.i586@available
+#>proof 77cc0794   9:      dropdown-2.3.0-0.i586@available
+#>proof 77cc0794   9: --> -menu-1.1.0-0.i586@available
+#>proof 77cc0794  10 pkg 6bfa015a79dbfd00986a5faddf302267
+#>proof 77cc0794  10:      dropdown-2.0.0-0.i586@available
+#>proof 77cc0794  10:      dropdown-2.1.0-0.i586@available
+#>proof 77cc0794  10:      dropdown-2.2.0-0.i586@available
+#>proof 77cc0794  10:      dropdown-2.3.0-0.i586@available
+#>proof 77cc0794  10: --> -menu-1.2.0-0.i586@available
+#>proof 77cc0794  11 pkg 26abf43463f15539b736f5ca8dbbba37
+#>proof 77cc0794  11:      dropdown-2.0.0-0.i586@available
+#>proof 77cc0794  11:      dropdown-2.1.0-0.i586@available
+#>proof 77cc0794  11:      dropdown-2.2.0-0.i586@available
+#>proof 77cc0794  11:      dropdown-2.3.0-0.i586@available
+#>proof 77cc0794  11: --> -menu-1.3.0-0.i586@available
+#>proof 77cc0794  12 pkg 5ecd7278981dd44581a4752a13729e01
+#>proof 77cc0794  12:      dropdown-2.0.0-0.i586@available
+#>proof 77cc0794  12:      dropdown-2.1.0-0.i586@available
+#>proof 77cc0794  12:      dropdown-2.2.0-0.i586@available
+#>proof 77cc0794  12:      dropdown-2.3.0-0.i586@available
+#>proof 77cc0794  12: --> -menu-1.4.0-0.i586@available
+#>proof 77cc0794  13 pkg c2215c6fc492d0a0c827256f885583b3
+#>proof 77cc0794  13:      dropdown-2.0.0-0.i586@available
+#>proof 77cc0794  13:      dropdown-2.1.0-0.i586@available
+#>proof 77cc0794  13:      dropdown-2.2.0-0.i586@available
+#>proof 77cc0794  13:      dropdown-2.3.0-0.i586@available
+#>proof 77cc0794  13: --> -menu-1.5.0-0.i586@available
+#>proof 77cc0794  14 pkg b06ef89ba49b91f25750b1f31b031487
+#>proof 77cc0794  14:      dropdown-1.8.0-0.i586@available
+#>proof 77cc0794  14: --> -menu-1.0.0-0.i586@available
+#>proof 77cc0794  15 job 4412d6c4c17b045a23ce1666b49cf631
+#>proof 77cc0794  15:      menu-1.0.0-0.i586@available
+#>proof 77cc0794  15:      menu-1.1.0-0.i586@available
+#>proof 77cc0794  15:      menu-1.2.0-0.i586@available
+#>proof 77cc0794  15:      menu-1.3.0-0.i586@available
+#>proof 77cc0794  15:      menu-1.4.0-0.i586@available
+#>proof 77cc0794  15:      menu-1.5.0-0.i586@available

diff --git a/test/testcases/proof/pubg2.t b/test/testcases/proof/pubg2.t
new file mode 100644 (file)
index 0000000..d91493a
--- /dev/null
+++ b/test/testcases/proof/pubg2.t
@@ -0,0 +1,53 @@
+# test proof generation. Testcase adapted from the pubgrub documentation.
+
+repo system 0 testtags <inline>
+repo available 0 testtags <inline>
+#>=Pkg: foo 1.0.0 0 i586
+#>=Req: a = 1.0.0
+#>=Req: b = 1.0.0
+#>=Pkg: foo 1.1.0 0 i586
+#>=Req: x = 1.0.0
+#>=Req: y = 1.0.0
+#>=Pkg: a 1.0.0 0 i586
+#>=Req: b = 2.0.0
+#>=Pkg: b 1.0.0 0 i586
+#>=Pkg: b 2.0.0 0 i586
+#>=Pkg: x 1.0.0 0 i586
+#>=Req: y = 2.0.0
+#>=Pkg: y 1.0.0 0 i586
+#>=Pkg: y 2.0.0 0 i586
+system i586 * system
+job install name foo
+result proof
+result proof <inline>
+#>proof 1948b081   0 learnt 7682393f6d13c0826a53c962786e088f
+#>proof 1948b081   0: --> -foo-1.1.0-0.i586@available
+#>proof 1948b081   1 job 5f4dd053becd2f9d6a53275ad6f03cca
+#>proof 1948b081   1:      foo-1.1.0-0.i586@available
+#>proof 1948b081   1: -->  foo-1.0.0-0.i586@available
+#>proof 1948b081   2 pkg 8aae478b8be3daff223abda98d0644c4
+#>proof 1948b081   2:     -foo-1.0.0-0.i586@available
+#>proof 1948b081   2: -->  a-1.0.0-0.i586@available
+#>proof 1948b081   3 pkg b01b3b447f2952882d1d301085806304
+#>proof 1948b081   3:     -foo-1.0.0-0.i586@available
+#>proof 1948b081   3: -->  b-1.0.0-0.i586@available
+#>proof 1948b081   4 pkg 533dc5990cff22ebef619b9fec526447
+#>proof 1948b081   4:     -b-1.0.0-0.i586@available
+#>proof 1948b081   4: --> -b-2.0.0-0.i586@available
+#>proof 1948b081   5 pkg 247d79a95bc693a27e8c163273139fd7
+#>proof 1948b081   5:      b-2.0.0-0.i586@available
+#>proof 1948b081   5:     -a-1.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   0 premise
+#>proof 7682393f6d13c0826a53c962786e088f   0: -->  foo-1.1.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   1 pkg 3bd4c5353322e3b7581968129e9d0de9
+#>proof 7682393f6d13c0826a53c962786e088f   1:     -foo-1.1.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   1: -->  x-1.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   2 pkg 5f0d9bbea0a633c28592c38dd2b16363
+#>proof 7682393f6d13c0826a53c962786e088f   2:     -foo-1.1.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   2: -->  y-1.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   3 pkg f4f7527cef6b2a9a003aced565971733
+#>proof 7682393f6d13c0826a53c962786e088f   3:     -y-1.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   3: --> -y-2.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   4 pkg 835e2619b83f4ab1a69ff64d0b58cf1d
+#>proof 7682393f6d13c0826a53c962786e088f   4:      y-2.0.0-0.i586@available
+#>proof 7682393f6d13c0826a53c962786e088f   4:     -x-1.0.0-0.i586@available