File: list_functions.i

package info (click to toggle)
frama-c 20220511-manganese-5
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 66,492 kB
  • sloc: ml: 278,834; ansic: 47,093; sh: 4,823; makefile: 3,613; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62
file content (19 lines) | stat: -rw-r--r-- 887 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
/* run.config
 NOFRAMAC: testing frama-c-script, not frama-c itself

 DEPS: @PTEST_DEPS@ @PTEST_DIR@/for-find-fun.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/for-find-fun2.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/for-list-functions.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/list_functions.i
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/main.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/main2.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/main3.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/make-wrapper.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/make-wrapper2.c
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/make-wrapper3.c

 DEPS: @PTEST_DEPS@ @PTEST_DIR@/build-callgraph.i
 DEPS: @PTEST_DEPS@ @PTEST_DIR@/recursions.i

   EXECNOW: LOG heuristic_list_functions.res LOG heuristic_list_functions.err PTESTS_TESTING=1 %{bin:frama-c-script} heuristic-list-functions true true @PTEST_DEPS@ > @PTEST_RESULT@/heuristic_list_functions.res 2> @PTEST_RESULT@/heuristic_list_functions.err
 */