eliminated bitv.test, which now lives in test/run-pass

1 files changed, 0 insertions, 283 deletions

diff --git a/src/lib/bitv.rs b/src/lib/bitv.rs
index 9ae3a2ce..af90060a 100644
--- a/src/lib/bitv.rs
+++ b/src/lib/bitv.rs
@@ -168,289 +168,6 @@ fn eq_vec(&t v0, &vec[uint] v1) -> bool {
     ret true;
 }
 
-fn test() {
-    auto act;
-    auto exp;
-
-    // -----------------------------------------------------------------------
-    // Tests of 0-element bit-vectors.
-
-    act = create(0u, false);
-    exp = _vec.init_elt[uint](0u, 0u);
-    // FIXME: why can't I write vec[uint]()?
-    check (eq_vec(act, exp));
-
-    // -----------------------------------------------------------------------
-    // Tests of 1-element bit-vectors.
-
-    act = create(1u, false);
-    check (eq_vec(act, vec(0u)));
-
-    act = create(1u, true);
-    check (eq_vec(act, vec(1u)));
-
-    // -----------------------------------------------------------------------
-    // Tests of 10-element bit-vectors.
-
-    // all 0
-    act = create(10u, false);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // all 1
-    act = create(10u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(10u, false);
-    set(act, 0u, true);
-    set(act, 1u, true);
-    set(act, 2u, true);
-    set(act, 3u, true);
-    set(act, 4u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 0u, 0u, 0u, 0u, 0u)));
-
-    // mixed
-    act = create(10u, false);
-    set(act, 5u, true);
-    set(act, 6u, true);
-    set(act, 7u, true);
-    set(act, 8u, true);
-    set(act, 9u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(10u, false);
-    set(act, 0u, true);
-    set(act, 3u, true);
-    set(act, 6u, true);
-    set(act, 9u, true);
-    check (eq_vec(act, vec(1u, 0u, 0u, 1u, 0u, 0u, 1u, 0u, 0u, 1u)));
-
-    // -----------------------------------------------------------------------
-    // Tests of 31-element bit-vectors.
-
-    // all 0
-    act = create(31u, false);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // all 1
-    act = create(31u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(31u, false);
-    set(act, 0u, true);
-    set(act, 1u, true);
-    set(act, 2u, true);
-    set(act, 3u, true);
-    set(act, 4u, true);
-    set(act, 5u, true);
-    set(act, 6u, true);
-    set(act, 7u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // mixed
-    act = create(31u, false);
-    set(act, 16u, true);
-    set(act, 17u, true);
-    set(act, 18u, true);
-    set(act, 19u, true);
-    set(act, 20u, true);
-    set(act, 21u, true);
-    set(act, 22u, true);
-    set(act, 23u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // mixed
-    act = create(31u, false);
-    set(act, 24u, true);
-    set(act, 25u, true);
-    set(act, 26u, true);
-    set(act, 27u, true);
-    set(act, 28u, true);
-    set(act, 29u, true);
-    set(act, 30u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(31u, false);
-    set(act, 3u, true);
-    set(act, 17u, true);
-    set(act, 30u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 1u)));
-
-    // -----------------------------------------------------------------------
-    // Tests of 32-element bit-vectors.
-
-    // all 0
-    act = create(32u, false);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // all 1
-    act = create(32u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(32u, false);
-    set(act, 0u, true);
-    set(act, 1u, true);
-    set(act, 2u, true);
-    set(act, 3u, true);
-    set(act, 4u, true);
-    set(act, 5u, true);
-    set(act, 6u, true);
-    set(act, 7u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // mixed
-    act = create(32u, false);
-    set(act, 16u, true);
-    set(act, 17u, true);
-    set(act, 18u, true);
-    set(act, 19u, true);
-    set(act, 20u, true);
-    set(act, 21u, true);
-    set(act, 22u, true);
-    set(act, 23u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u)));
-
-    // mixed
-    act = create(32u, false);
-    set(act, 24u, true);
-    set(act, 25u, true);
-    set(act, 26u, true);
-    set(act, 27u, true);
-    set(act, 28u, true);
-    set(act, 29u, true);
-    set(act, 30u, true);
-    set(act, 31u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u)));
-
-    // mixed
-    act = create(32u, false);
-    set(act, 3u, true);
-    set(act, 17u, true);
-    set(act, 30u, true);
-    set(act, 31u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u)));
-
-    // -----------------------------------------------------------------------
-    // Tests of 33-element bit-vectors.
-
-    // all 0
-    act = create(33u, false);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u)));
-
-    // all 1
-    act = create(33u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           1u)));
-
-    // mixed
-    act = create(33u, false);
-    set(act, 0u, true);
-    set(act, 1u, true);
-    set(act, 2u, true);
-    set(act, 3u, true);
-    set(act, 4u, true);
-    set(act, 5u, true);
-    set(act, 6u, true);
-    set(act, 7u, true);
-    check (eq_vec(act, vec(1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u)));
-
-    // mixed
-    act = create(33u, false);
-    set(act, 16u, true);
-    set(act, 17u, true);
-    set(act, 18u, true);
-    set(act, 19u, true);
-    set(act, 20u, true);
-    set(act, 21u, true);
-    set(act, 22u, true);
-    set(act, 23u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u)));
-
-    // mixed
-    act = create(33u, false);
-    set(act, 24u, true);
-    set(act, 25u, true);
-    set(act, 26u, true);
-    set(act, 27u, true);
-    set(act, 28u, true);
-    set(act, 29u, true);
-    set(act, 30u, true);
-    set(act, 31u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           1u, 1u, 1u, 1u, 1u, 1u, 1u, 1u,
-                           0u)));
-
-    // mixed
-    act = create(33u, false);
-    set(act, 3u, true);
-    set(act, 17u, true);
-    set(act, 30u, true);
-    set(act, 31u, true);
-    set(act, 32u, true);
-    check (eq_vec(act, vec(0u, 0u, 0u, 1u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 1u, 0u, 0u, 0u, 0u, 0u, 0u,
-                           0u, 0u, 0u, 0u, 0u, 0u, 1u, 1u,
-                           1u)));
-}
-
 //
 // Local Variables:
 // mode: rust