regression prints execution time

SRI-CSL · Feb 22, 2024 · aec6c21 · aec6c21
1 parent da32bd4
commit aec6c21
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/tests/regress/check.sh b/tests/regress/check.sh
@@ -192,6 +192,12 @@ fail=$(find "$logdir" -type f -name "*.error" | wc -l)
 
 echo "Pass: $pass"
 echo "Fail: $fail"
+if [[ $pass -gt 0 ]]; then
+    echo "Runtime:          $(find "$logdir" -type f -exec sed -n '2p' {} \; | paste -sd+ - | bc) s"
+    if [[ $fail -gt 0 ]]; then
+        echo "Runtime (passed): $(find "$logdir" -type f -name "*.pass" -exec sed -n '2p' {} \; | paste -sd+ - | bc) s"
+    fi
+fi
 
 if [ "$fail" -eq 0 ] ; then
     code=0

diff --git a/tests/regress/run_test.sh b/tests/regress/run_test.sh
@@ -178,13 +178,15 @@ then
     if [ -n "$log_file" ] ; then
         log_file="$log_file.pass"
         echo "$test_string" > "$log_file"
+        echo "$runtime" >> "$log_file"
     fi
     code=0
 else
     echo -e "$red FAIL $black $test_string"
     if [ -n "$log_file" ] ; then
         log_file="$log_file.error"
         echo "$test_string" > "$log_file"
+        echo "$runtime" >> "$log_file"
         echo "$DIFF" >> "$log_file"
     fi
     code=1