aboutsummaryrefslogtreecommitdiffstats
path: root/mutator.sh
diff options
context:
space:
mode:
authorbloodstalker <thabogre@gmail.com>2016-11-07 16:51:27 +0000
committerbloodstalker <thabogre@gmail.com>2016-11-07 16:51:27 +0000
commita4e34dd6d86dde44b73b18a8220b9a93363bc348 (patch)
tree88094a53d520069906bec932aa0f4f242c08ff8a /mutator.sh
parentadded misra-c:2004 15.1 and 15.5 (diff)
downloadmutator-a4e34dd6d86dde44b73b18a8220b9a93363bc348.tar.gz
mutator-a4e34dd6d86dde44b73b18a8220b9a93363bc348.zip
minor fixes to keep the root projectr folder cleaner after a build and run
Diffstat (limited to 'mutator.sh')
-rwxr-xr-xmutator.sh13
1 files changed, 7 insertions, 6 deletions
diff --git a/mutator.sh b/mutator.sh
index 189df7a..5776021 100755
--- a/mutator.sh
+++ b/mutator.sh
@@ -79,22 +79,23 @@ elif [[ "$COMMAND" == "run" ]];then
"./mutator-lvl2" mutant-lvl1.c -- > $OUTPUT
elif [[ "$COMMAND" == "misrac" ]]; then
echo "checking input file(s) against Misra-C 2004..."
- "./mutator-lvl0" "$INPUT" -- > misra-log
+ "./mutator-lvl0" "$INPUT" -- > ./covtest/misra-log
elif [[ "$COMMAND" == "default" ]]; then
echo "Building all target executables..."
"make" all
echo "Ruunning the input through clang-format..."
- "/home/bloodstalker/llvm-clang/build/bin/clang-format" $INPUT -- > $OUTPUT_FORMAT
- "cp" $OUTPUT_FORMAT ./medium.c
+ "/home/bloodstalker/llvm-clang/build/bin/clang-format" $INPUT -- > ./covtest/$OUTPUT_FORMAT
+ "cp" ./covtest/$OUTPUT_FORMAT ./covtest/medium.c
echo "Running all exetubales on target input..."
echo "Level 1..."
- "./mutator" "$OUTPUT_FORMAT" -- > mutant-lvl1.c
+ "./mutator" ./covtest/medium.c -- > ./covtest/mutant-lvl1.c
echo "Level 2..."
- "./mutator-lvl2" mutant-lvl1.c -- > $OUTPUT
+ "./mutator-lvl2" ./covtest/mutant-lvl1.c -- > ./covtest/$OUTPUT
echo 'Using clang-format to format the mutant...'
- "/home/bloodstalker/llvm-clang/build/bin/clang-format" $OUTPUT -- > $OUTPUT_FORMAT
+ "/home/bloodstalker/llvm-clang/build/bin/clang-format" ./covtest/$OUTPUT -- > ./covtest/$OUTPUT_FORMAT
elif [[ "$COMMAND" == "jack" ]]; then
echo
else
echo "$COMMAND is not a valid command..."
+ echo "Use --help for a list of valid commands..."
fi