moon-abe cleanup

Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3

1 files changed, 0 insertions, 37 deletions

diff --git a/moon-abe/pbc-0.5.14/pbc/g2_test.pbc b/moon-abe/pbc-0.5.14/pbc/g2_test.pbc
deleted file mode 100644
index 892660f9..00000000
--- a/moon-abe/pbc-0.5.14/pbc/g2_test.pbc
+++ /dev/null
@@ -1,37 +0,0 @@
-# Exercises a bug found by Zhang Ye.
-
-define test_cmp_0(initfn) {
-  initfn();
-  CHECK(random(G2) != G2(0));
-  CHECK(G2(0) != random(G2));
-  CHECK(G2(0) == G2(0));
-  CHECK(random(G1) != G1(0));
-  CHECK(G1(0) != random(G1));
-  CHECK(G1(0) == G1(0));
-}
-
-test_cmp_0(init_pairing_a);
-test_cmp_0(init_pairing_d);
-test_cmp_0(init_pairing_e);
-test_cmp_0(init_pairing_f);
-test_cmp_0(init_pairing_g);
-test_cmp_0(init_pairing_i);
-
-# Exercises a bug found by Mario Di Raimondo.
-
-define test_g2_cmp(initfn) {
-  initfn();
-  a := rnd(G2);
-  m := rnd(Zr);
-  n := rnd(Zr);
-  CHECK((a^m)^n == a^(m*n));
-  CHECK(a != a^m);
-  CHECK(a != a^n);
-}
-
-test_g2_cmp(init_pairing_a);
-test_g2_cmp(init_pairing_d);
-test_g2_cmp(init_pairing_e);
-test_g2_cmp(init_pairing_f);
-test_g2_cmp(init_pairing_g);
-test_g2_cmp(init_pairing_i);