]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
Add script used to test constitution SRP cornercases
authorDidier Raboud <odyx@debian.org>
Tue, 12 Jul 2016 20:14:32 +0000 (22:14 +0200)
committerDidier Raboud <odyx@debian.org>
Tue, 12 Jul 2016 20:15:56 +0000 (22:15 +0200)
scripts/pocket-devotee-test-cornercase [new file with mode: 0755]

diff --git a/scripts/pocket-devotee-test-cornercase b/scripts/pocket-devotee-test-cornercase
new file mode 100755 (executable)
index 0000000..cff3e45
--- /dev/null
@@ -0,0 +1,45 @@
+#!/bin/sh
+
+set -e
+
+echo "-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
+echo "  The following vote is supposed to fail to pass before GR 2015/003   "
+echo "                                    It must pass  after GR 2015/003   "
+echo "-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
+./pocket-devotee \
+    --option 'A: Option requiring 3:1 majority :3' \
+    --option 'Z: Further discussion' \
+    --default-option 'Z' \
+    --quorum 5 \
+    << EOF
+tc1: A > Z
+tc2: A > Z
+tc3: A > Z
+tc4: A > Z
+tc5: A > Z
+tc6: A > Z
+tc7: Z > A
+tc8: Z > A
+EOF
+
+echo "-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
+echo "  The following vote is supposed to fail to pass before GR 2015/003   "
+echo "                              It must still fail  after GR 2015/003   "
+echo "-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-="
+./pocket-devotee \
+    --option 'A: Option that requires simple 1:1 majority' \
+    --option 'Z: Further discussion' \
+    --default-option 'Z' \
+    --quorum 5 \
+    << EOF
+dev01: A > Z
+dev02: A > Z
+dev03: A > Z
+dev04: A > Z
+dev05: A > Z
+dev06: Z > A
+dev07: Z > A
+dev08: Z > A
+dev09: Z > A
+dev10: Z > A
+EOF