#!/bin/bash

sanity_base files are ran with swiplb

alias swiplb='/usr/bin/swipl -x lmb.prc ' # sanity_user files are ran with swiplu alias swiplu='/usr/bin/swipl -x lm_user.prc ' alias swipl='/usr/bin/swipl '

cls || true

rm -f */*.log.html || true

EXIT() { kill -9 $(jobs -p) %2 %3 fg kj exit 34 }

set -o pipefail

rm -f ./ALL.log.html || true rm -f ./sanity_base/ALL.log.html || true

echostatus(){ if [ $1 -eq 7 ]; then echo -e "\n\n\nPASSED $2 !!!!!!!!! STATUS=$1 " return $1 else if [ $1 -ne 0 ]; then echo -e "\n\n\nABORT $2 STATUS=$1" return $1 else echo -e "\n\n\nRESTART $2 STATUS=$1" return $1 fi fi }

status=0

run_test_file() {

local status=0 trap 'EXIT' 1 2 3 4 5 6 7 8 9

( echo -e "\n\n%=%=% Test $1 %=%=%\n\n" /usr/bin/swipl -x lmb.prc -f $1 -g "halt(7)." status=$? echostatus $status $1 ) 2>&1 | tee -i >( ./ansi2html.sh >> $1.log.html) 2>&1 | tee -i -a >( ./ansi2html.sh >> ./sanity_base/ALL.log.html)

if [ $status -eq 7 ]; then return 7 fi

if [ $status -ne 0 ]; then EXIT 666 exit 666 fi

}

export -f run_test_file echostatus EXIT

if [ "$1" != "" ]; then

find ./sanity_base/ -name "*.p*" -name "$1" -and $ -not -name "*htm*" $ -print -exec bash -c 'run_test_file $0' '{}' \;

#find ./ -name "*.p*" -and $ -not -name "*htm*" $ -print0 | grep "$1" | xargs -I % bash -c 'run_test_file '

else

PASS01() { run_test_file ./sanity_base/attvar_01.pl run_test_file ./sanity_base/attvar_02.pfc run_test_file ./sanity_base/attvar_03.pfc run_test_file ./sanity_base/attvar_05.pfc run_test_file ./sanity_base/attvar_06.pfc run_test_file ./sanity_base/attvar_07.pfc run_test_file ./sanity_base/attvar_08.pfc run_test_file ./sanity_base/attvar_09.pfc run_test_file ./sanity_base/attvar_10.pfc run_test_file ./sanity_base/attvar_11.pfc run_test_file ./sanity_base/chr_01.pl run_test_file ./sanity_base/fc_03.pfc run_test_file ./sanity_base/fc_01.pfc

run_test_file ./sanity_base/fc_04.pfc run_test_file ./sanity_base/fc_05.pfc run_test_file ./sanity_base/fc_06.pfc run_test_file ./sanity_base/fc_07.pfc run_test_file ./sanity_base/fc_08.pfc run_test_file ./sanity_base/fc_09.pfc run_test_file ./sanity_base/fc_10.pfc run_test_file ./sanity_base/file_01.pfc run_test_file ./sanity_base/file_02.pfc run_test_file ./sanity_base/file_03.pfc run_test_file ./sanity_base/if_missing_01.pfc run_test_file ./sanity_base/if_missing_02.pfc run_test_file ./sanity_base/if_missing_03.pfc run_test_file ./sanity_base/nd_01.pl run_test_file ./sanity_base/pl_01.pfc run_test_file ./api/mpred_01.pl run_test_file ./api/mpred_02.pl run_test_file ./api/utils_01.pl run_test_file ./api/utils_02.pl run_test_file ./fol/zenls.pfc run_test_file ./sanity_base/df_01.pfc run_test_file ./sanity_base/df_03.pfc run_test_file ./sanity_base/df_04.pfc run_test_file ./sanity_base/df_05.pfc run_test_file ./sanity_base/dl_01.pfc

}

eval PASS01

FAIL01() { run_test_file ./sanity_base/bc_01.pfc run_test_file ./sanity_base/fc_02.pfc run_test_file ./sanity_base/if_missing_04.pfc run_test_file ./sanity_base/if_missing_05.pfc run_test_file ./sanity_base/mpred_pfc_test_01.pl run_test_file ./sanity_base/mpred_pfc_test_02.pl run_test_file ./sanity_base/neg_01.pfc }

EASY_PASS03() { run_test_file ./sanity_base/attvar_04.pl run_test_file ./sanity_base/fc_11.pfc run_test_file ./pfc/pqr.pfc }

HARD_PASS04() {

run_test_file ./fol/dislikes.pfc
run_test_file ./fol/family_inheritance.pfc
run_test_file ./fol/family_regress.pfc
run_test_file ./fol/fol_birdt.pfc
run_test_file ./fol/sanity_fi_human.pfc
run_test_file ./fol/sanity_fi_sk.pfc
run_test_file ./fol/sanity_sk_human.pfc
run_test_file ./fol/sanity_sk_two.pfc
run_test_file ./pfc/bc.pfc
run_test_file ./pfc/sanity_clauses.pfc
run_test_file ./pfc/sanity_neg.pfc
run_test_file ./sanity_base/df_02.pfc

run_test_file ./csp/4ct.pfc.pl
run_test_file ./csp/einstein.pfc.pl
run_test_file ./csp/einstein_simpler.pfc.pl
run_test_file ./fol/lefty.pfc
run_test_file ./pfc/abd.pfc
run_test_file ./pfc/adder.pfc
run_test_file ./pfc/at.pfc
run_test_file ./pfc/bdi.pfc
run_test_file ./pfc/bible.pfc
run_test_file ./pfc/bulb1.pfc
run_test_file ./pfc/bulbs.pfc
run_test_file ./pfc/clue.pfc
run_test_file ./pfc/clue_game1.pfc
run_test_file ./pfc/consistent.pfc
run_test_file ./pfc/constraints.pfc
run_test_file ./pfc/dcg_pfc.pl
run_test_file ./pfc/default.pfc
run_test_file ./pfc/default2.pfc
run_test_file ./pfc/disj.pfc
run_test_file ./pfc/equality.pfc
run_test_file ./pfc/finin.pfc
run_test_file ./pfc/g.pfc
run_test_file ./pfc/income.pfc
run_test_file ./pfc/kinship.pfc
run_test_file ./pfc/kr.pfc
run_test_file ./pfc/kr2.pfc
run_test_file ./pfc/krpeople.pfc
run_test_file ./pfc/lion.pfc
run_test_file ./pfc/lion.pl
run_test_file ./pfc/mid.pfc
run_test_file ./pfc/midsummer.pfc
run_test_file ./pfc/monkey.pfc
run_test_file ./pfc/na.pfc
run_test_file ./pfc/ndcg_pfc.pl
run_test_file ./pfc/pfc_tests.pl
run_test_file ./pfc/problems.pfc
run_test_file ./pfc/sanity_birdt.pfc
run_test_file ./pfc/sanity_sv.pfc
run_test_file ./pfc/show.pfc
run_test_file ./pfc/skolem.pfc
run_test_file ./pfc/small.pfc
run_test_file ./pfc/sum.pfc
run_test_file ./pfc/test.pl
run_test_file ./pfc/test2.pfc
run_test_file ./pfc/test_grammar.pl
run_test_file ./pfc/tmsex.pfc

}