diff options
| author | user1 <user1@ubuntu> | 2017-06-06 00:58:47 +0000 |
|---|---|---|
| committer | user1 <user1@ubuntu> | 2017-06-06 00:58:47 +0000 |
| commit | 84d3355e7b9f9d67e18825c9895b001cd3ee2947 (patch) | |
| tree | 3c100baa7b5d14b71bf814a1d286b4e633b8fdd6 /oracle/m0/oracle.mutator | |
| parent | changed "Assignment Target Constrains Address of Array Subscript Expr" (diff) | |
| parent | moved the other commands into lua now, so they are working again (diff) | |
| download | mutator-84d3355e7b9f9d67e18825c9895b001cd3ee2947.tar.gz mutator-84d3355e7b9f9d67e18825c9895b001cd3ee2947.zip | |
Merge branch 'master' of https://github.com/bloodstalker/mutator.git
Diffstat (limited to '')
| -rw-r--r-- | oracle/m0/oracle.mutator | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/oracle/m0/oracle.mutator b/oracle/m0/oracle.mutator new file mode 100644 index 0000000..f7ea262 --- /dev/null +++ b/oracle/m0/oracle.mutator @@ -0,0 +1,18 @@ +action_name:my_action1 +executable_name:mutator-lvl0 +#these are the options specific to the executable +exec_opts:-MCEA -SysHeader=false -MainOnly=true -MCV=C2 +in_files:./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c ./test/testFuncs1.h ./test/testFuncs2.h ./test/testFuncs3.h +#clang options +libtooling_options:-std=c90 -I/lib/gcc/x86_64-redhat-linux/6.3.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 |