From 6421c13157b387e7605b89caef2a4d1748bbd611 Mon Sep 17 00:00:00 2001 From: Dave Herman Date: Thu, 21 Oct 2010 13:34:16 -0700 Subject: eliminated bitv.test, which now lives in test/run-pass --- src/lib/bitv.rs | 283 -------------------------------------------------------- 1 file changed, 283 deletions(-) (limited to 'src/lib') 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 -- cgit v1.2.3