From d452fb0f149fe31a8ce429c90f492f52e2a7ca4f Mon Sep 17 00:00:00 2001
From: Tihomir Gvero <tihomir.gvero@gmail.com>
Date: Sat, 7 Nov 2009 01:17:27 +0000
Subject: [PATCH]
---
tests/udita/LeftistHeapTest.scala | 2 +-
tests/udita/SkewBinaryRandomAccessListTest.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/udita/LeftistHeapTest.scala b/tests/udita/LeftistHeapTest.scala
index 8e88501df..dc8ea49ff 100644
--- a/tests/udita/LeftistHeapTest.scala
+++ b/tests/udita/LeftistHeapTest.scala
@@ -93,7 +93,7 @@ object LeftistHeapTest extends Application {
}
def forAll(property : ((Heap,Int) => Boolean)){
- assert(property(generateLeftistHeap(4), 0));//Verify.getInt(0,4)));
+ assert(property(generateLeftistHeap(4), Verify.getInt(0,4)));
}
forAll((heap: Heap, value: Int) => content(heap.insert(value)) == content(heap) +++ List(value));
diff --git a/tests/udita/SkewBinaryRandomAccessListTest.scala b/tests/udita/SkewBinaryRandomAccessListTest.scala
index 4f2ff61d2..e7051ca90 100644
--- a/tests/udita/SkewBinaryRandomAccessListTest.scala
+++ b/tests/udita/SkewBinaryRandomAccessListTest.scala
@@ -128,7 +128,7 @@ object SkewBinaryRandomAccessListTest extends Application {
//generateSkewBinaryList(4);
def forAll(property : ((RList,Int) => Boolean)){
- assert(property(generateSkewBinaryList(4), 4));//Verify.getInt(0,4)));
+ assert(property(generateSkewBinaryList(4), Verify.getInt(0,4)));
}
forAll((skew, value) => (content(cons(value,skew)) == content(skew) +++ List(value)));
--
GitLab