blob: fcee97d6bad093e6bb701ae94cd474b7f43e7cde (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
action_name:my_action1
executable_name:mutator-lvl0
#these are the options specific to the executable
exec_opts:-MCEA -MCD="5.1 5.2 5.3 5.4 5.5 5.6 5.7" -SysHeader=false -MainOnly=true -MCV=C2 -mutagen
in_files:./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c ./test/testFuncs3.h ./test/testFuncs2.h ./test/testFuncs1.h
#in_files:./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c
#clang options
libtooling_options:-std=c90 -I/lib/gcc/x86_64-redhat-linux/6.4.1/include -Wall
#the output file
out_files:./test/misra-log
#the log file
log_files:
print_pretty:true
end_action:run
action_name:my_action2
executable_name:safercpp-arr
out_files:./test/misra-log
end_action:stop
|
