From d8eeea6b8ba7ab5b17712e5a4eb2eaa001dda633 Mon Sep 17 00:00:00 2001
From: rkebichi <54912798+rkebichi@users.noreply.github.com>
Date: Mon, 23 Mar 2020 17:14:03 -0400
Subject: [PATCH] Update run.sh

---
 test/run.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

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))