diff options
| -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 |