#! /bin/sh

SUCCESS=0

. dtx/definitions

if [ $# != 1 ]; then
    SUCCESS=1
else
    cat "$1" | (SUCCESS=0;
    IFS=''
    while read l0; do
	lz="$(sh -c "$l0")"
	lv=$?
	read lx
	l1="$(echo "$l0" | cut -b -4)"
	if [ x"$l1" = xsrc/ ]; then
	    l1="$(echo "$l0" | cut -b 5-)"
	else
	    l1="$l0"
	fi
#	l2=$(expr length "$l1")
	l2=$(src/express17 'length(s1)' text s1 "$l1")
	if [ 63 -lt "$l2" ]; then
	    l1="$(echo "$l1" | cut -b -60)"...
	fi
	printf "%-64s" "$l1"
	if [ x"$lv" != x0 -o x"$lx" != x"$lz" ]; then
	    src/express17 '"[\033[1;31mfailed\033[0;39m]"'
#	    echo [failed]
	    SUCCESS=1
	else
	    src/express17 '"[\033[1;32mpassed\033[0;39m]"'
	fi
    done
    exit $SUCCESS)
    SUCCESS=$?
fi

exit $SUCCESS
