Fixing a bug: mapping state to event has to be done after the execution termination...
[jpf-core.git] / examples / HelloWorld.groovy
1 print "Hello World!\n"