# See the License for the specific language governing permissions and
# limitations under the License.
-# This shell script compile, run and verify NIT program files
+# This shell script compile, run and verify Nit program files
-# Ruby binary (none if you want to let the program to decide)
-#RUBY=
-[ -z "$NITC" ] && NITC=../bin/nitc
+# Set lang do default to avoid failed tests because of locale
+export LANG=C
+export NIT_TESTING=true
-# Options to use with the ruby compiler
-# OPT=
+unset NIT_DIR
-# Mark to distinguish files among tests
+# Get the first Java lib available
+shopt -s nullglob
+paths=`echo /usr/lib/jvm/*/`
+paths=($paths)
+JAVA_HOME=${paths[0]}
+
+paths=`echo $JAVA_HOME/jre/lib/*/{client,server}/`
+paths=($paths)
+JNI_LIB_PATH=${paths[0]}
+shopt -u nullglob
+
+usage()
+{
+ e=`basename "$0"`
+ cat<<END
+Usage: $e [options] modulenames
+-o option Pass option to the engine
+-v Verbose (show tests steps)
+-h This help
+--engine Use a specific engine (default=nitg)
+--noskip Do not skip a test even if the .skip file matches
+--[no]soso Force enable (or disable) SOSO
+END
+}
+
+# $1 is the pattern of the test
+# $2 is the file to compare to
+# the result is:
+# 0: if the file to compare to do not exists
+# 1: if the file match
+# 2: if the file match with soso
+# 3: if the file do not match
+function compare_to_result()
+{
+ local pattern="$1"
+ local sav="$2"
+ if [ ! -r "$sav" ]; then return 0; fi
+ diff -u "$sav" "out/$pattern.res" > "out/$pattern.diff.sav.log"
+ if [ "$?" == 0 ]; then
+ return 1
+ fi
+ [ -z "$soso" ] && return 3
+ sed '/[Ww]arning/d;/[Ee]rror/d' "out/$pattern.res" > "out/$pattern.res2"
+ sed '/[Ww]arning/d;/[Ee]rror/d' "$sav" > "out/$pattern.sav2"
+ grep '[Ee]rror' "out/$pattern.res" >/dev/null && echo "Error" >> "out/$pattern.res2"
+ grep '[Ee]rror' "$sav" >/dev/null && echo "Error" >> "out/$pattern.sav2"
+ diff -u "out/$pattern.sav2" "out/$pattern.res2" > "out/$pattern.diff.sav.log"
+ if [ "$?" == 0 ]; then
+ return 2
+ else
+ return 3
+ fi
+}
+
+# As argument: the pattern used for the file
+function process_result()
+{
+ # Result
+ pattern=$1
+ description=$2
+ pack=$3
+ SAV=""
+ NSAV=""
+ FIXME=""
+ NFIXME=""
+ SOSO=""
+ NSOSO=""
+ SOSOF=""
+ NSOSOF=""
+ OLD=""
+ LIST=""
+ FIRST=""
+ echo >>$xml "<testcase classname='$pack' name='$description'>"
+ #for sav in "sav/$engine/fixme/$pattern.res" "sav/$engine/$pattern.res" "sav/fixme/$pattern.res" "sav/$pattern.res" "sav/$pattern.sav"; do
+ for savdir in $savdirs; do
+ sav=$savdir/$pattern.res
+ compare_to_result "$pattern" "$sav"
+
+ case "$? $sav" in
+ 0*)
+ continue;; # no file
+ 1*/fixme/*)
+ OLD="$LIST"
+ FIXME="$sav"
+ ;;
+ 1*)
+ OLD="$LIST"
+ SAV="$sav"
+ ;;
+ 2*/fixme/*)
+ SOSOF="$sav" ;;
+ 2*)
+ SOSO="$sav" ;;
+ 3*/fixme/*)
+ if [ -z "$FIRST" ]; then
+ NFIXME="$sav"
+ FIRST="$sav"
+ fi
+ ;;
+ 3*)
+ if [ -z "$FIRST" ]; then
+ NSAV="$sav"
+ FIRST="$sav"
+ fi
+ ;;
+ esac
+ LIST="$LIST $sav"
+ done
+ OLD=`echo "$OLD" | sed -e 's/ */ /g' -e 's/^ //' -e 's/ $//'`
+ grep 'NOT YET IMPLEMENTED' "out/$pattern.res" >/dev/null
+ NYI="$?"
+ if [ -n "$SAV" ]; then
+ if [ -n "$OLD" ]; then
+ echo "[*ok*] out/$pattern.res $SAV - but $OLD remains!"
+ echo >>$xml "<error message='ok out/$pattern.res - but $OLD remains'/>"
+ remains="$remains $OLD"
+ else
+ echo "[ok] out/$pattern.res $SAV"
+ fi
+ ok="$ok $pattern"
+ elif [ -n "$FIXME" ]; then
+ if [ -n "$OLD" ]; then
+ echo "[*fixme*] out/$pattern.res $FIXME - but $OLD remains!"
+ echo >>$xml "<error message='ok out/$pattern.res - but $OLD remains'/>"
+ remains="$remains $OLD"
+ else
+ echo "[fixme] out/$pattern.res $FIXME"
+ echo >>$xml "<skipped/>"
+ fi
+ todos="$todos $pattern"
+ elif [ -n "$SOSO" ]; then
+ echo "[soso] out/$pattern.res $SOSO"
+ ok="$ok $pattern"
+ elif [ "x$NYI" = "x0" ]; then
+ echo "[todo] out/$pattern.res -> not yet implemented"
+ echo >>$xml "<skipped/>"
+ todos="$todos $pattern"
+ elif [ -n "$SOSOF" ]; then
+ echo "[fixme soso] out/$pattern.res $SOSOF"
+ echo >>$xml "<skipped/>"
+ todos="$todos $pattern"
+ elif [ -n "$NSAV" ]; then
+ echo "[======= fail out/$pattern.res $NSAV =======]"
+ echo >>$xml "<error message='fail out/$pattern.res $NSAV'/>"
+ echo >>$xml "<system-out><![CDATA["
+ cat -v out/$pattern.diff.sav.log | head >>$xml -n 50
+ echo >>$xml "]]></system-out>"
+ nok="$nok $pattern"
+ echo "$ii" >> "$ERRLIST"
+ elif [ -n "$NFIXME" ]; then
+ echo "[======= changed out/$pattern.res $NFIXME ======]"
+ echo >>$xml "<error message='changed out/$pattern.res $NFIXME'/>"
+ echo >>$xml "<system-out><![CDATA["
+ cat -v out/$pattern.diff.sav.log | head >>$xml -n 50
+ echo >>$xml "]]></system-out>"
+ nok="$nok $pattern"
+ echo "$ii" >> "$ERRLIST"
+ elif [ -s out/$pattern.res ]; then
+ echo "[=== no sav ===] out/$pattern.res is not empty"
+ echo >>$xml "<error message='no sav and not empty'/>"
+ echo >>$xml "<system-out><![CDATA["
+ cat -v >>$xml out/$pattern.res
+ echo >>$xml "]]></system-out>"
+ nos="$nos $pattern"
+ else
+ # no sav but empty res
+ echo "[0k] out/$pattern.res is empty"
+ ok="$ok $pattern"
+ fi
+ if test -s out/$pattern.cmp.err; then
+ echo >>$xml "<system-err><![CDATA["
+ cat -v >>$xml out/$pattern.cmp.err
+ echo >>$xml "]]></system-err>"
+ fi
+ echo >>$xml "</testcase>"
+}
+
+need_skip()
+{
+ test "$noskip" = true && return 1
+ if echo "$1" | grep -f "$engine.skip" >/dev/null 2>&1; then
+ echo "=> $2: [skip]"
+ echo >>$xml "<testcase classname='$3' name='$2'><skipped/></testcase>"
+ return 0
+ fi
+ if test $engine = niti && echo "$1" | grep -f "exec.skip" >/dev/null 2>&1; then
+ echo "=> $2: [skip exec]"
+ echo >>$xml "<testcase classname='$3' name='$2'><skipped/></testcase>"
+ return 0
+ fi
+ return 1
+}
+
+skip_exec()
+{
+ test "$noskip" = true && return 1
+ if echo "$1" | grep -f "exec.skip" >/dev/null 2>&1; then
+ echo -n "_ "
+ return 0
+ fi
+ return 1
+}
+
+skip_cc()
+{
+ test "$noskip" = true && return 1
+ if echo "$1" | grep -f "cc.skip" >/dev/null 2>&1; then
+ return 0
+ fi
+ return 1
+}
+
+find_nitc()
+{
+ name="$enginebinname"
+ recent=`ls -t ../src/$name ../src/$name_[0-9] ../bin/$name ../c_src/$name 2>/dev/null | head -1`
+ if [[ "x$recent" == "x" ]]; then
+ echo "Could not find binary for engine $engine, aborting"
+ exit 1
+ fi
+ echo "Find binary for engine $engine: $recent $OPT"
+ NITC=$recent
+}
+
+verbose=false
+stop=false
+engine=nitg
+noskip=
+while [ $stop = false ]; do
+ case $1 in
+ -o) OPT="$OPT $2"; shift; shift;;
+ -v) verbose=true; shift;;
+ -h) usage; exit;;
+ --engine) engine="$2"; shift; shift;;
+ --noskip) noskip=true; shift;;
+ --soso) soso=true; shift;;
+ --nososo) nososo=true; shift;;
+ *) stop=true
+ esac
+done
+enginebinname=$engine
+case $engine in
+ nitg)
+ engine=nitg-s;
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--separate $OPT"
+ ;;
+ nitg-s)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--separate $OPT"
+ ;;
+ nitg-e)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--erasure $OPT"
+ ;;
+ nitg-g)
+ enginebinname=nitg;
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ OPT="--global $OPT"
+ ;;
+ nit)
+ engine=niti
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ ;;
+ niti)
+ enginebinname=nit
+ savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
+ ;;
+ nitc)
+ echo "disabled engine $engine"
+ exit 0
+ ;;
+ *)
+ echo "unknown engine $engine"
+ exit 1
+ ;;
+esac
+
+# The default nitc compiler
+[ -z "$NITC" ] && find_nitc
+
+# Set NIT_DIR if needed
+[ -z "$NIT_DIR" ] && export NIT_DIR=..
+
+if sh -c "timelimit echo" 1>/dev/null 2>&1; then
+ TIMEOUT="timelimit -t 600"
+elif sh -c "timeout 1 echo" 1>/dev/null 2>&1; then
+ TIMEOUT="timeout 600s"
+else
+ echo "No timelimit or timeout command detected. Tests may hang :("
+fi
+
+# Mark to distinguish files among tests
# MARK=
+# File where error tests are outputed
+# Old ERRLIST is backuped
+ERRLIST=${ERRLIST:-errlist}
+ERRLIST_TARGET=$ERRLIST
+
if [ $# = 0 ]; then
- echo "usage: $0 file.nit ..."
+ usage;
+ exit
fi
-if [ -z "$HTM" ]; then
- HTM=/dev/null
-elif [ ! -f "$HTM" ]; then
- echo "<html><body><table border=\"1\">" > $HTM
- echo "<tr><td>Mode</td>" >> $HTM
- for i in "$@"; do
- f=`echo $i | cut -f1 -d.`
- echo -n "<td><a href=\"$f.nit\">$f</a>" >> $HTM
- if [ -r "sav/$f.sav" ]; then
- echo -n " - <a href=\"sav/$f.sav\">sav</a>" >> $HTM
- fi
- if [ -f "$f.inputs" ]; then
- echo -n " - <a href=\"$f.inputs\">inputs</a>" >> $HTM
- fi
- echo "</td>" >> $HTM
- done
- echo "<td>ok</td><td>fails</td></tr>" >> $HTM
+# Initiate new ERRLIST
+if [ "x$ERRLIST" = "x" ]; then
+ ERRLIST=/dev=null
+else
+ ERRLIST=$ERRLIST.tmp
+ > "$ERRLIST"
fi
ok=""
nok=""
-echo "<tr><td>$MARK</td>" >> $HTM
+todos=""
+xml="tests-$engine.xml"
+echo >$xml "<testsuites><testsuite>"
+
+# CLEAN the out directory
+rm -rf out/ 2>/dev/null
+mkdir out 2>/dev/null
for ii in "$@"; do
- for alt in "" `sed -n 's/.*#\(alt[0-9]*\)#.*/\1/p' "$ii" | sort -u`; do
- f=`basename "$ii" .nit`
- d=`dirname "$ii"`
- ff="$f"
- i="$ii"
- if [ "x$alt" != "x" ]; then
- test -d alt || mkdir -p alt
- i="alt/${f}_$alt.nit"
- ff="${ff}_$alt"
- sed "s/#$alt#//g;/#!$alt#/d" "$ii" > "$i"
+ if [ ! -f $ii ]; then
+ echo "File '$ii' does not exist."
+ continue
fi
- ff="$ff$MARK"
-
- echo -n "=> $i: "
-
- rm "$ff.res" "$ff.err" "$ff.write" 2> /dev/null
-
- # Compile
- $NITC $OPT -o "$f.bin" "$i" -I . -I alt -I ../lib/standard 2> "$ff.cmp.err" > "$ff.compile.log"
- ERR=$?
- mv "$f.bin" "$ff.bin" 2> /dev/null
- egrep '^[A-Z0-9_]*$' "$ff.compile.log" > "$ff.res"
- echo -n "<td><a href=\"$ff.compile.log\">compil " >> $HTM
- if [ "$ERR" != 0 ]; then
- echo -n "! "
- echo -n "fail</a> - " >> $HTM
- cp "$ff.cmp.err" "$ff.res"
+ f=`basename "$ii" .nit`
+
+ pack=`echo $ii | perl -p -e 's|^../([^/]*)/([a-zA-Z_]*).*|\1.\2| || s|^([a-zA-Z]*)[^_]*_([a-zA-Z]*).*|\1.\2| || s|\W*([a-zA-Z_]*).*|\1|'`
+
+ # Sould we skip the file for this engine?
+ need_skip $f $f $pack && continue
+
+ tmp=${ii/../AA}
+ if [ "x$tmp" = "x$ii" ]; then
+ includes="-I . -I ../lib/standard -I ../lib/standard/collection -I alt"
else
- echo -n ". "
- echo -n "ok</a> - " >> $HTM
- # Execute
- if [ -f "$f.args" ]; then
- args=`cat "$f.args"`
- else
- args=""
- fi
+ includes="-I alt"
+ fi
+
+ for i in "$ii" `./alterner.pl --start '#' --altsep '_' $ii`; do
+ bf=`basename $i .nit`
+ ff="out/$bf"
+
+ # Sould we skip the alternative for this engine?
+ need_skip $bf $bf $pack && continue
+
+ echo -n "=> $bf: "
+
if [ -f "$f.inputs" ]; then
- "./$ff.bin" $args < "$f.inputs" > "$ff.res" 2>"$ff.err"
+ inputs="$f.inputs"
else
- "./$ff.bin" $args > "$ff.res" 2>"$ff.err"
- fi
- if [ -f "$ff.write" ]; then
- cat "$ff.write" >> "$ff.res"
- echo -n "<a href=\"$ff.err\">write</a> - " >> $HTM
+ inputs=/dev/null
fi
- if [ -s "$ff.err" ]; then
- cat "$ff.err" >> "$ff.res"
- echo -n "<a href=\"$ff.err\">err</a> - " >> $HTM
+
+ if [ "$engine" = "niti" ]; then
+ cat > "./$ff.bin" <<END
+exec $NITC --no-color $OPT "$i" $includes -- "\$@"
+END
+ chmod +x "./$ff.bin"
+ > "$ff.cmp.err"
+ > "$ff.compile.log"
+ ERR=0
+ else
+ if skip_cc "$bf"; then
+ nocc="--no-cc"
+ else
+ nocc=
+ fi
+ # Compile
+ if [ "x$verbose" = "xtrue" ]; then
+ echo ""
+ echo $NITC --no-color $OPT -o "$ff.bin" "$i" "$includes" $nocc
+ fi
+ NIT_NO_STACK=1 JNI_LIB_PATH=$JNI_LIB_PATH JAVA_HOME=$JAVA_HOME \
+ $TIMEOUT $NITC --no-color $OPT -o "$ff.bin" "$i" $includes $nocc 2> "$ff.cmp.err" > "$ff.compile.log"
+ ERR=$?
+ if [ "x$verbose" = "xtrue" ]; then
+ cat "$ff.compile.log"
+ cat >&2 "$ff.cmp.err"
+ fi
fi
- fi
+ if [ "$ERR" != 0 ]; then
+ echo -n "! "
+ cat "$ff.compile.log" "$ff.cmp.err" > "$ff.res"
+ process_result $bf $bf $pack
+ elif skip_exec "$bf"; then
+ # No exec
+ > "$ff.res"
+ process_result $bf $bf $pack
+ elif [ -n "$nocc" ]; then
+ # not compiled
+ echo -n "nocc "
+ > "$ff.res"
+ process_result $bf $bf $pack
+ elif [ -x "./$ff.bin" ]; then
+ echo -n ". "
+ # Execute
+ args=""
+ if [ "x$verbose" = "xtrue" ]; then
+ echo ""
+ echo "NIT_NO_STACK=1 ./$ff.bin" $args
+ fi
+ NIT_NO_STACK=1 LD_LIBRARY_PATH=$JNI_LIB_PATH \
+ $TIMEOUT "./$ff.bin" $args < "$inputs" > "$ff.res" 2>"$ff.err"
+ if [ "x$verbose" = "xtrue" ]; then
+ cat "$ff.res"
+ cat >&2 "$ff.err"
+ fi
+ if [ -f "$ff.write" ]; then
+ cat "$ff.write" >> "$ff.res"
+ elif [ -d "$ff.write" ]; then
+ LANG=C /bin/ls -F $ff.write >> "$ff.res"
+ fi
+ cp "$ff.res" "$ff.res2"
+ cat "$ff.cmp.err" "$ff.err" "$ff.res2" > "$ff.res"
+ process_result $bf $bf $pack
+
+ if [ -f "$f.args" ]; then
+ fargs=$f.args
+ cptr=0
+ while read line; do
+ ((cptr=cptr+1))
+ args="$line"
+ bff=$bf"_args"$cptr
+ fff=$ff"_args"$cptr
+ name="$bf args $cptr"
+
+ # Sould we skip the input for this engine?
+ need_skip $bff " $name" $pack && continue
+
+ # use a specific inputs file, if required
+ if [ -f "$bff.inputs" ]; then
+ ffinputs="$bff.inputs"
+ else
+ ffinputs=$inputs
+ fi
- # Result
- if [ -r "sav/$ff.sav" ]; then
- diff "$ff.res" "sav/$ff.sav" > "$ff.diff.log"
- if [ "$?" == 0 ]; then
- echo "[ok] $ff.res"
- ok="$ok $ff"
- echo -n "<a href=\"$ff.res\">res ok</a>" >> $HTM
+ rm -rf "$fff.res" "$fff.err" "$fff.write" 2> /dev/null
+ if [ "x$verbose" = "xtrue" ]; then
+ echo ""
+ echo "NIT_NO_STACK=1 ./$ff.bin" $args
+ fi
+ echo -n "==> $name "
+ echo "./$ff.bin $args" > "./$fff.bin"
+ chmod +x "./$fff.bin"
+ WRITE="$fff.write" sh -c "NIT_NO_STACK=1 $TIMEOUT ./$fff.bin < $ffinputs > $fff.res 2>$fff.err"
+ if [ "x$verbose" = "xtrue" ]; then
+ cat "$fff.res"
+ cat >&2 "$fff.err"
+ fi
+ if [ -f "$fff.write" ]; then
+ cat "$fff.write" >> "$fff.res"
+ elif [ -d "$fff.write" ]; then
+ LANG=C /bin/ls -F $fff.write >> "$fff.res"
+ fi
+ if [ -s "$fff.err" ]; then
+ cp "$fff.res" "$fff.res2"
+ cat "$fff.err" "$fff.res2" > "$fff.res"
+ fi
+ process_result $bff " $name" $pack
+ done < $fargs
+ fi
+ elif [ -f "./$ff.bin" ]; then
+ echo "Not executable (platform?)" > "$ff.res"
+ process_result $bf "$bf" $pack
else
- echo "[======= fail $ff.res sav/$ff.sav =======]"
- nok="$nok $ff"
- echo -n "<strong style=\"background-color:red\"><a href=\"$ff.res\">res fail</a> - <a href=\"$ff.diff.log\">diff</a></strong>" >> $HTM
+ echo -n "! "
+ cat "$ff.cmp.err" > "$ff.res"
+ echo "Compilation error" > "$ff.res"
+ process_result $bf "$bf" $pack
fi
- else
- echo "[=== no sav ===] $ff.res"
- echo -n "<a href=\"$ff.res\">res</a>" >> $HTM
- nos="$nos $ff"
- fi
- echo "</td>" >> $HTM
- done
+ done
done
-echo "ok: " `echo $ok | wc -w` "/" `echo $ok $nok $nos | wc -w`
-echo "<td>" `echo $ok | wc -w` "</td><td>" `echo $nok | wc -w` "</td></tr>" >> $HTM
+echo "engine: $engine ($enginebinname $OPT)"
+echo "ok: " `echo $ok | wc -w` "/" `echo $ok $nok $nos $todos | wc -w`
if [ -n "$nok" ]; then
echo "fail: $nok"
- echo "There were errors !"
+ echo "There were $(echo $nok | wc -w) errors ! (see file $ERRLIST)"
fi
if [ -n "$nos" ]; then
echo "no sav: $nos"
fi
+if [ -n "$todos" ]; then
+ echo "todo/fixme: $todos"
+fi
+if [ -n "$remains" ]; then
+ echo "sav that remains: $remains"
+fi
+
+# write $ERRLIST
+if [ "x$ERRLIST" != "x" ]; then
+ if [ -x "$ERRLIST_TARGET" ]; then
+ mv "$ERRLIST_TARGET" "${ERRLIST_TARGET}.bak"
+ fi
+ mv $ERRLIST $ERRLIST_TARGET
+fi
+
+echo >>$xml "</testsuite></testsuites>"
+
+if [ -n "$nok" ]; then
+ exit 1
+else
+ exit 0
+fi
nitlanguage / nit.git / blobdiff