mirror of
https://github.com/AdaCore/vss-extra.git
synced 2026-02-12 13:53:04 -08:00
24 lines
857 B
Bash
Executable File
24 lines
857 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
if [ "$2" = "--json5" ]; then DATA_SUFFIX='5'; fi
|
|
|
|
INPUT_FILE=$1
|
|
FLAGS=$2
|
|
NAME=`basename $INPUT_FILE`
|
|
LOG_FILE=/tmp/$NAME.log
|
|
ERROR_FILE=/tmp/$NAME.error
|
|
DIFF_FILE=/tmp/$NAME.diff
|
|
EXPECTED_FILE=testsuite/json/JSON${DATA_SUFFIX}.expected/$NAME.txt
|
|
|
|
if [ ! -f $EXPECTED_FILE ]; then echo "SKIP"; exit; fi
|
|
|
|
.objs/validation/tests/test_json_pull_reader $FLAGS $INPUT_FILE $LOG_FILE 2> $ERROR_FILE || (echo "(sr) FAIL"; cat $ERROR_FILE; false)
|
|
diff -u --text --strip-trailing-cr $EXPECTED_FILE $LOG_FILE > $DIFF_FILE || (echo "(sd) FAIL"; cat $DIFF_FILE; false)
|
|
|
|
.objs/validation/tests/test_json_pull_reader --incremental $FLAGS $INPUT_FILE $LOG_FILE 2> $ERROR_FILE || (echo "(ir) FAIL"; cat $ERROR_FILE; false)
|
|
diff -u --text --strip-trailing-cr $EXPECTED_FILE $LOG_FILE > $DIFF_FILE || (echo "(id) FAIL"; cat $DIFF_FILE; false)
|
|
|
|
echo "PASS"
|