1 import gov.nasa.jpf.vm.Verify;
5 // static void main(String[] args) {
7 int number = Verify.getInt(0, 10);
11 //boolean choice = args[0].toBoolean()
12 boolean choice = Verify.getBoolean()
14 println "This time it is True"
16 println "This time it is False"