Skip to content
Snippets Groups Projects
Normal view Permalink
list_functions.i 339 B
Newer Older
Andre Maroneze's avatar
[analysis-scripts] refactor and improve heuristic callgraph
Andre Maroneze committed
1 2 
/* run.config
   NOFRAMAC: testing frama-c-script, not frama-c itself
Andre Maroneze's avatar
[analysis-scripts] fix problems in heuristics cg + recursion; improve debug  
Andre Maroneze committed
3 
   EXECNOW: LOG heuristic_list_functions.res LOG heuristic_list_functions.err bin/frama-c-script heuristic-list-functions true true @PTEST_DIR@/*.c @PTEST_DIR@/*.i > @PTEST_DIR@/result/heuristic_list_functions.res 2> @PTEST_DIR@/result/heuristic_list_functions.err
Andre Maroneze's avatar
[analysis-scripts] refactor and improve heuristic callgraph
Andre Maroneze committed
4 
 */