From 892372ce9264ec65a332bc6f2764159b050a0da4 Mon Sep 17 00:00:00 2001 From: bloodstalker Date: Sun, 1 Jan 2017 00:38:17 +0330 Subject: updated 1.1.2017 --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 32a5572..07560ff 100644 --- a/README.md +++ b/README.md @@ -88,12 +88,16 @@ To run the executables with the mutator UI, you can use `mutator.sh`. For a list * `-v, --version` prints out the version.
* `-i, --input, -input` lets you choose the input file(or a white-space-separated list of files) that is going to be passed to the mutator executable(s).
* `-o, --output, -output` lets you choose where to put the mutant.
-* `-opts --options, pass options to the executable(s). The executables support all the clang options. please enclose all the options in double quatation.`
+* `-opts --options, pass options to the executable(s). The executables support all the clang options. please enclose all the options in double quatation. This is basically a pass-through option. Everything appearing inside will be passed through to the executable.`
+ +`mutator-lvl0` options: +* SysHeader, will let the executable know that you wish the checks to run through system headers as well. Off by default.
+* MisraC2004,MisraC2012,C2,C3 will let the executable know which Misra guidelines you want the source to be checked against. currently only supports MisraC2004 or C2.
So for example if you want to run the TDD tests for the Misra-C checker, you run:
```bash -./mutator.sh -c misrac -i ./test/testFuncs2.c ./test/testFuncs1.c -opts "-Wall" +./mutator.sh -c misrac -i ./test/testFuncs2.c ./test/testFuncs1.c -opts "-Wall -std=c90 SysHeader=false C2" ``` -- cgit v1.2.3