From f2098a9771fb318b802661ebbd9f6d1381936053 Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Mon, 6 Jul 2009 08:31:23 +0000
Subject: [PATCH] Very basic test that shows that FunCheck ForAll
transformation works.
---
Test4.scala | 12 ++++++++++++
1 file changed, 12 insertions(+)
create mode 100644 Test4.scala
diff --git a/Test4.scala b/Test4.scala
new file mode 100644
index 000000000..7bece8d4d
--- /dev/null
+++ b/Test4.scala
@@ -0,0 +1,12 @@
+import funcheck.lib.Specs
+
+object HeapTest extends Application {
+
+ //works
+ Specs.forAll[(Int,Int)]( p => p._1 + p._2 == p._2 + p._1)
+
+ //fails!
+ Specs.forAll[Int]( p => p == 0)
+
+
+}
\ No newline at end of file
--
GitLab