Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...
[jpf-core.git] / examples / Empty.groovy
index 77aec71547e62db4a099b963f6992145d4dd9926..b52e40db5e6f05549fdb65964ef6d74a2cf0029e 100644 (file)
@@ -9,7 +9,7 @@ class Empty {
                //int result = x + y;
                //return result;
                println "installed() is called!"
-               //initialize()
+               initialize()
        }
 
        // This function is where you initialize callbacks for event listeners