diff options
Diffstat (limited to 'm0/run.sh')
| -rwxr-xr-x | m0/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/m0/run.sh b/m0/run.sh new file mode 100755 index 0000000..9f6b635 --- /dev/null +++ b/m0/run.sh @@ -0,0 +1 @@ +./mutator-lvl0 --jsonout ./report.json --xmlout ./report.xml --mutagenout ./mutagen.xml -MCEA -MCD="5.1 5.2 5.3 5.4 5.5 5.6 5.7" -SysHeader=false -MainOnly=true -MCV=C2 -mutagen ../test/testFuncs1.c ../test/testFuncs2.c ../test/testFuncs3.c ../test/testFuncs3.h ../test/testFuncs2.h ../test/testFuncs1.h -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/7/include -Wall > ./misra-log |