Changeset 3675 for trunk/ProjectFortress/tests

Timestamp:

04/28/09 07:36:58 (7 months ago)

Author:

jmaessen

Message:

[libraries] Fixed bug in shuffle (and added test to see that shuffling
was happening; this can fail with astronomically low probability).
Removed bounds checking from quicksort as it's quite reliable and
wants to run fast. Added list interface to quicksort.

Files:

• trunk/ProjectFortress/tests/ShuffleTest.fss (modified) (2 diffs)

trunk/ProjectFortress/tests/ShuffleTest.fss

@@ -25 +25 @@
     lt(a:ZZ32,b:ZZ32): Boolean = a < b
     a = array[\ZZ32\](50).fill(fn i => i)
-    for _ <- 1#10 do
+    matches : ZZ32 := 0
+    for _ <- seq(1#10) do
+        println(a)
         shuffle(a)
         c = a.copy()
@@ -40 +42 @@
             end
         end
+        if (a=c) then
+            atomic matches += 1
+        end
     end
+    assert(matches < 10, true, "No shuffling ever occurred!")
   end