Adding tracked variables in main.jpf.

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

diff --git a/examples/Choice.groovy b/examples/Choice.groovy
new file mode 100644 (file)
index 0000000..25455a8
--- /dev/null
+++ b/examples/Choice.groovy
@@ -0,0 +1,19 @@
+import gov.nasa.jpf.vm.Verify;
+
+//class Choice {
+
+//     static void main(String[] args) {               
+       while(true) {
+               int number = Verify.getInt(0, 10);
+               println number
+               //println ""
+
+               //boolean choice = args[0].toBoolean()
+               boolean choice = Verify.getBoolean()
+               if (choice == true)
+                       println "This time it is True"
+               else
+                       println "This time it is False"
+       }
+       //}             
+//}