====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.ArrayIndexOutOfBoundsException: 0
at tutorial.MyClient.main(tutorial/MyClient.java:6)
====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
call stack:
at tutorial.MyClient.main(MyClient.java:6)
====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.ArrayIndexOutOfBoundsException: 0 at tu..."
The expected output woulb be to have 3 errors displayed. One for each args[n]
Best regards