-
Andre Maroneze authoredAndre Maroneze authored
list_functions.i 339 B
/* run.config
NOFRAMAC: testing frama-c-script, not frama-c itself
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
*/