Skip to content
Snippets Groups Projects
Commit 1b42b2c1 authored by Etienne Kneuss's avatar Etienne Kneuss
Browse files

ws

parent 1330900a
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
testcases/synthesis/PrimeHeuristic.scala
+ 1
− 1
View file @ 1b42b2c1
...@@ -2,7 +2,7 @@ import leon.Utils._ ...@@ -2,7 +2,7 @@ import leon.Utils._
object PrimeHeuristic { object PrimeHeuristic {
def maybePrime(n: Int): Boolean = n match { def maybePrime(n: Int): Boolean = n match {
case 2 * k => false case 2 * k => false
case 3 * k => false case 3 * k => false
case 6 * k - 1 => true case 6 * k - 1 => true
case 6 * k + 1 => true case 6 * k + 1 => true
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment