#!/usr/bin/env bash set -e DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" cd $DIR SAILDIR="$DIR/../.." RED='\033[0;31m' GREEN='\033[0;32m' YELLOW='\033[0;33m' NC='\033[0m' rm -f $DIR/tests.xml pass=0 fail=0 XML="" function green { (( pass += 1 )) printf "$1: ${GREEN}$2${NC}\n" XML+=" \n" } function yellow { (( fail += 1 )) printf "$1: ${YELLOW}$2${NC}\n" XML+=" \n $2\n \n" } function red { (( fail += 1 )) printf "$1: ${RED}$2${NC}\n" XML+=" \n $2\n \n" } function finish_suite { printf "$1: Passed ${pass} out of $(( pass + fail ))\n\n" XML=" \n$XML \n" printf "$XML" >> $DIR/tests.xml XML="" pass=0 fail=0 } printf "\n" >> $DIR/tests.xml shopt -s nullglob; for file in $DIR/*.sail; do if $SAILDIR/sail -no_warn -c $file 1> ${file%.sail}.c 2> /dev/null; then green "compiling $(basename $file)" "ok"; if gcc ${file%.sail}.c -lgmp; then green "compiling $(basename ${file%.sail}.c)" "ok"; $DIR/a.out 1> ${file%.sail}.result 2> /dev/null; if diff ${file%.sail}.result ${file%.sail}.expect; then green "executing $(basename ${file%.sail})" "ok" else red "executing $(basename ${file%.sail})" "fail" fi; if valgrind -q --leak-check=full --errors-for-leak-kinds=all --error-exitcode=1 $DIR/a.out 1> /dev/null 2> /dev/null; then green "executing $(basename ${file%.sail}) with valgrind" "ok" else red "executing $(basename ${file%.sail}) with valgrind" "fail" fi else red "compiling generated C" "fail" fi else red "compiling $file" "fail" fi; rm -f ${file%.sail}.c rm -f ${file%.sail}.result done finish_suite "C testing" printf "\n" >> $DIR/tests.xml