:wrench: Use Valgrind in scripts

diff --git a/scripts/test.sh b/scripts/test.sh
index 8aa5798bce6423b415746abbc5abab1b1cf9ec6e..e0239f8c9c3c4208f8194ec953e20b0491713113 100644 (file)
--- a/scripts/test.sh
+++ b/scripts/test.sh
@@ -398,7 +398,15 @@ clean() {
 
 if [ -f test.log ] && [ -z "$NO_LOG" ]
 then
-  cat test.log
+#  cat test.log
+# assuming CI for now
+  sudo apt-get update -y
+  sudo apt-get install -y valgrind
+  for file in $(cat test.log)
+  do
+      cat $file
+      valgrind ./gwion $file
+  done
   exit 1
 else
   exit 0