Adding reachability analysis when state matching occurs.

[jpf-core.git] / examples / HelloWorld.java

public class HelloWorld {

        public static void main(String[] args) {

                System.out.println("Hello World!");
        }
}