diff --git a/test/run.sh b/test/run.sh index e504c5ee7e..cade66cf07 100755 --- a/test/run.sh +++ b/test/run.sh @@ -59,8 +59,14 @@ eval_test() { echo "$label: FAILED" test_status=$(($test_status + 1)) else - echo "Comparing traces: ../script/check_trace.sh $3" - eval "../script/check_trace.sh $3 $label" + echo "Comparing traces: ../script/check_trace.py -in $3" + eval "../script/check_trace.py -in $3" + if [ $? != 0 ] ; then + echo "$label: FAILED trace comparison" + test_status=$(($test_status + 1)) + else + echo "$label: PASSED trace comparison" + fi fi fi test_number=$((test_number + 1))