From 606b80fdea26abc58770423b93324c1bbcd0282d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 29 Nov 2012 17:31:23 +0100
Subject: [PATCH] example from comfusy, still with pattern matching
---
testcases/synthesis/PrimeHeuristic.scala | 11 +++++++++++
1 file changed, 11 insertions(+)
create mode 100644 testcases/synthesis/PrimeHeuristic.scala
diff --git a/testcases/synthesis/PrimeHeuristic.scala b/testcases/synthesis/PrimeHeuristic.scala
new file mode 100644
index 000000000..2a424dc11
--- /dev/null
+++ b/testcases/synthesis/PrimeHeuristic.scala
@@ -0,0 +1,11 @@
+import leon.Utils._
+
+object PrimeHeuristic {
+ def maybePrime(n: Int): Boolean = n match {
+ case 2 * k => false
+ case 3 * k => false
+ case 6 * k - 1 => true
+ case 6 * k + 1 => true
+ }
+
+}
--
GitLab