X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=examples%2FRand.groovy;h=11b5caa618d8113128d2979894a5ebfc35c72ec6;hb=a25e4f9ce1b9f5aab028a18ec09c1e3471bef36a;hp=4d6ff322829afbdd856963a698e2b22b463ac2d4;hpb=8407476b0dce3b2c1d1a5093d55df109aa7f9789;p=jpf-core.git

diff --git a/examples/Rand.groovy b/examples/Rand.groovy
index 4d6ff32..11b5caa 100644
--- 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)
 	}
 }