blob: f5d07aeb7b8d7e2c63d340da75a7c691b2043f29 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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
|
