+niti:
+ ./testfull.sh --engine niti
+
+nitcg:
+ ./testfull.sh --engine nitcg
+
+nitcs:
+ ./testfull.sh --engine nitcs
+
+nitcs-bm:
+ ./testfull.sh --engine nitcs -o --bm-typing
+
+nitcs-phmod:
+ ./testfull.sh --engine nitcs -o --phmod-typing
+
+nitcs-phand:
+ ./testfull.sh --engine nitcs -o --phand-typing
+
+nitce:
+ ./testfull.sh --engine nitce
+
+nitce-bm:
+ ./testfull.sh --engine nitce -o --bm-typing
+
+nitce-phmod:
+ ./testfull.sh --engine nitce -o --phmod-typing
+
+nitce-phand:
+ ./testfull.sh --engine nitce -o --phand-typing
+
+failed:
+ @[ ! -s errlist ] && echo 'No failed tests to execute' ; true
+ @[ -s errlist ] && ./tests.sh `cat errlist | sort -u` ; true
+