adds tests/callgraph

Makefile

@@ -168,7 +168,7 @@ force-reconfigure:
 ##############################################################################
 .PHONY: tests clean-tests
 
-TESTS=builtins cil constant_propagation float idct impact libc metrics misc occurrence pdg rte rte_manual scope slicing sparecode syntax test value
+TESTS=builtins callgraph cil constant_propagation float idct impact libc metrics misc occurrence pdg rte rte_manual scope slicing sparecode syntax test value
 tests: config.sed
 	find tests -name dune | grep -e "oracle.*/\|result.*/" | xargs --no-run-if-empty rm
 	dune exec -- ptests/ptests.exe

tests/callgraph/function_pointer.i

 /* run.config
    COMMENT: Test option -cg-function-pointers
-   CMXS: @PTEST_NAME@
-   OPT: -cg-function-pointers -no-autoload-plugins -load-module eva,@PTEST_DIR@/@PTEST_NAME@.cmxs
-   OPT: -cg-no-services -cg-function-pointers -no-autoload-plugins -load-module eva,@PTEST_DIR@/@PTEST_NAME@.cmxs
-   OPT: -cg-no-function-pointers -no-autoload-plugins -load-module eva,@PTEST_DIR@/@PTEST_NAME@.cmxs
-   OPT: -cg-no-services -cg-no-function-pointers -no-autoload-plugins -load-module eva,@PTEST_DIR@/@PTEST_NAME@.cmxs
+   MODULE: @PTEST_NAME@.cmxs
+   OPT: -cg-function-pointers
+   OPT: -cg-no-services -cg-function-pointers
+   OPT: -cg-no-function-pointers
+   OPT: -cg-no-services -cg-no-function-pointers
 */
-
 int (*fptr)(int);
 
 int f(int x) { return x; }