diff options
| author | bloodstalker <thabogre@gmail.com> | 2017-05-30 14:44:34 +0000 |
|---|---|---|
| committer | bloodstalker <thabogre@gmail.com> | 2017-05-30 14:44:34 +0000 |
| commit | 1b90b852824ad60a673cd99fa581558237ec36bb (patch) | |
| tree | 809efe4e7b18232b313828f12f6947cef152d86b /extra-tools | |
| parent | added oracle (diff) | |
| download | mutator-1b90b852824ad60a673cd99fa581558237ec36bb.tar.gz mutator-1b90b852824ad60a673cd99fa581558237ec36bb.zip | |
oracle
Diffstat (limited to 'extra-tools')
| -rwxr-xr-x | extra-tools/oracle.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/extra-tools/oracle.sh b/extra-tools/oracle.sh new file mode 100755 index 0000000..f5d07ae --- /dev/null +++ b/extra-tools/oracle.sh @@ -0,0 +1,19 @@ +#!/bin/bash +Red="\033[0;31m" +Green="\033[0;32m" +Lblue="\033[1;34m" +Orange="\033[0;33m" +Magenta="\033[1;35m" +NC="\033[0m" +######################################################################################################################## +printf "${Magenta}Running oracle...\n${NC}" | tee -a $1 + +#m0 +"diff" ./test/misrareport.xml ./oracle/m0/oracle-m0.xml | tee ./oralce-m0-diff + +printf "${Magenta}Running oracle for m0...\n${NC}" | tee -a $1 +if [ -s oracle-m0-diff ]; then + printf "${RED}The oracle test failed.\n${NC}" | tee -a $1 +fi + +printf "${Green}The oracle test passed.\n${NC}" | tee -a $1 |