diff options
Diffstat (limited to '')
| -rwxr-xr-x | mutator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -59,7 +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..." + echo "xmllint --noout --schema ./samples/mutator0-report-schema.xsd ./test/misrareport.xml" "xmllint" --noout --schema ./samples/mutator0-report-schema.xsd ./test/misrareport.xml else echo "unknown combination of options: $2 and $3" |