diff options
| author | bloodstalker <thabogre@gmail.com> | 2016-11-06 10:23:51 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2016-11-06 10:23:51 +0000 |
| commit | 2184588b48745258bfff88f80bae43739fa60889 (patch) | |
| tree | e30ee48b07ceabfd9f457700d7fa48fdaa4faf8a | |
| parent | now detects switchstm without breaks or the default cluase. (diff) | |
| download | mutator-2184588b48745258bfff88f80bae43739fa60889.tar.gz mutator-2184588b48745258bfff88f80bae43739fa60889.zip | |
added the misra-c check command
| -rwxr-xr-x | mutator.sh | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -28,6 +28,7 @@ do echo " default runs build-all and then run." echo " format calls clang-format to format the mutant. later to be used for the test command." echo " test runs the tests on the executables and checks the results." + echo " misrac checks for misrac rules" echo "-v, --version prints out the version." echo "-i, --input, -input lets you choose the input file that is going to be passed to the mutator executable(s)." echo "-o, --output, -output lets you choose where to put the mutant." @@ -76,6 +77,9 @@ elif [[ "$COMMAND" == "run" ]];then echo "Running executables on target file..." "./mutator" "$INPUT" -- > mutant-lvl1.c "./mutator-lvl2" mutant-lvl1.c -- > $OUTPUT +elif [[ "$COMMAND" == "misrac" ]]; then + echo "checking input file(s) against Misra-C 2004..." + "./mutator-lvl0" "$INPUT" -- > misra-log elif [[ "$COMMAND" == "default" ]]; then echo "Building all target executables..." "make" all |