diff options
Diffstat (limited to 'mutator.sh')
-rwxr-xr-x | mutator.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -59,6 +59,7 @@ do echo "./mutator-lvl0 -SysHeader=false -MainOnly=true ./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/5.3.1/include > ./test/misra-log" "./mutator-lvl0" -SysHeader=false -MainOnly=true ./test/testFuncs1.c ./test/testFuncs2.c ./test/testFuncs3.c -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/5.3.1/include > ./test/misra-log elif [[ "$2" == mutator-lvl0 && "$3" == xsd ]]; then + echo "the xsd is currently broken..." "xmllint" --noout --schema ./samples/mutator0-report-schema.xsd ./test/misrareport.xml else echo "unknown combination of options: $2 and $3" |