Adding new examples and tests: Groovy and Java programs.

[jpf-core.git] / examples / Rand.groovy

diff --git a/examples/Rand.groovy b/examples/Rand.groovy
index 4d6ff322829afbdd856963a698e2b22b463ac2d4..11b5caa618d8113128d2979894a5ebfc35c72ec6 100644 (file)
--- a/examples/Rand.groovy
+++ b/examples/Rand.groovy
@@ -3,12 +3,12 @@ class Rand {
                println("Groovy model-checking")
                Random random = new Random(42);
        
-               int a = random.nextInt(2)
-               int b = random.nextInt(3)
+               int a = random.nextInt(10)
+               int b = random.nextInt(10)
                println("a=" + a)
                println("  b=" + b)
 
-               int c = a/(b+a -2)
+               int c = a/(b+a -5)
                println("    c=" + c)
        }
 }