diff --git a/basice2e/noerrors.txt b/basice2e/noerrors.txt new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 diff --git a/basice2e/run.sh b/basice2e/run.sh index f65a605c3ab911d51cac2e717e6c3f8e6536e69a..5331eaf70cdc043145d8e64fda701575b1dbefa9 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -109,5 +109,7 @@ done diff -ruN clients.goldoutput $CLIENTOUT +cat $SERVERLOGS/*.log | grep "ERROR" > results/server-errors.txt +diff -ruN results/server-errors.txt noerrors.txt echo "SUCCESS!"