rename tests

This commit is contained in:
2024-01-04 12:53:24 +01:00
parent efc60b4c23
commit 49de281083
15 changed files with 1 additions and 1 deletions

View File

@@ -3,7 +3,7 @@ cd "$(dirname "$0")"
FAILED=() FAILED=()
for FILE in *.psil; do for FILE in *.test.psil; do
echo "TESTING $FILE" echo "TESTING $FILE"
$PSIL -f $FILE --repl- --default_log_level:0 > $FILE.res $PSIL -f $FILE --repl- --default_log_level:0 > $FILE.res
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then