examples/Choice.groovy

   1 import gov.nasa.jpf.vm.Verify;
   2
   3 //class Choice {
   4
   5 //      static void main(String[] args) {
   6         while(true) {
   7                 int number = Verify.getInt(0, 10);
   8                 println number
   9                 //println ""
  10
  11                 //boolean choice = args[0].toBoolean()
  12                 boolean choice = Verify.getBoolean()
  13                 if (choice == true)
  14                         println "This time it is True"
  15                 else
  16                         println "This time it is False"
  17         }
  18         //}
  19 //}