diff options
| author | user1 <user1@ubuntu> | 2017-06-06 00:58:47 +0000 |
|---|---|---|
| committer | user1 <user1@ubuntu> | 2017-06-06 00:58:47 +0000 |
| commit | 84d3355e7b9f9d67e18825c9895b001cd3ee2947 (patch) | |
| tree | 3c100baa7b5d14b71bf814a1d286b4e633b8fdd6 /extra-tools/oracle.sh | |
| parent | changed "Assignment Target Constrains Address of Array Subscript Expr" (diff) | |
| parent | moved the other commands into lua now, so they are working again (diff) | |
| download | mutator-84d3355e7b9f9d67e18825c9895b001cd3ee2947.tar.gz mutator-84d3355e7b9f9d67e18825c9895b001cd3ee2947.zip | |
Merge branch 'master' of https://github.com/bloodstalker/mutator.git
Diffstat (limited to 'extra-tools/oracle.sh')
| -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 |