Starting our own version of JPF with support for generics.
[jpf-core.git] / examples / Rand.groovy
1 int rand = Math.random()*10
2
3 if (rand < 5) {
4         //println "rand is less than 5: "
5         System.out.println(rand)
6 } else {
7         //println "rand is greater than or equal to 5: "
8         System.out.println(rand)
9 }
10