diff options
Diffstat (limited to '')
| -rw-r--r-- | samples/action_file.mutator | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/samples/action_file.mutator b/samples/action_file.mutator new file mode 100644 index 0000000..5b84fd5 --- /dev/null +++ b/samples/action_file.mutator @@ -0,0 +1,16 @@ +action_name:my_action1 +executable_name:mutator-lvl0 +#these are the options specific to the executable +exec_opts:-SysHeader=false -MainOnly=true +in_files:./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c +#clang options +libtooling_options:-std=c90 -I/lib/gcc/x86_64-redhat-linux/5.3.1/include +#the output file +out_files:./test/misra-log +#the log file +log_files: +print_pretty:true +end_action:run + +action_name:my_action2 +end_action:stop |