diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-05-30 14:44:52 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-05-30 14:44:52 +0000 |
| commit | 26943f0f799b0dfce0218d9413525e414ec5d82b (patch) | |
| tree | f842271dab02278985f515cb818fe74f370521b5 /oracle/m0/oracle.mutator | |
| parent | oracle (diff) | |
| download | mutator-26943f0f799b0dfce0218d9413525e414ec5d82b.tar.gz mutator-26943f0f799b0dfce0218d9413525e414ec5d82b.zip | |
oracle
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 |