From c30932274e7178ce415a980fd9f9572b9c590188 Mon Sep 17 00:00:00 2001
From: Federico Perini <federico.perini@gmail.com>
Date: Thu, 20 Jun 2024 08:08:48 +0200
Subject: [PATCH] test default runs

---
 ci/run_tests.sh | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/ci/run_tests.sh b/ci/run_tests.sh
index 888111e5e0..c1abbb5e7f 100755
--- a/ci/run_tests.sh
+++ b/ci/run_tests.sh
@@ -89,21 +89,25 @@ do
    done
 done
 
-# Test building all test targets and with runner
+# Test building all targets and with runner
 if [[ "$(which time)" ]]; then
-cmdrun=( "test" "test --runner time" ) 
-for j in {0..1}
+targets=( "run" "run --example" "test" )
+names=( "run" "example" "test" )
+cmdrun=( " " " --runner time" ) 
+for j in {0..2}
 do
-  rm -f *.txt
-  "$fpm" ${cmdrun[$j]} 
-  # all tests should have run
-  for k in ${cases[@]}
+  for i in {0..1}
   do
-     test -e test$k.txt   
+    rm -f *.txt
+    "$fpm" ${targets[$j]}${cmdrun[$i]} 
+    # all targets should have run
+    for k in ${cases[@]}
+    do
+       test -e ${names[$j]}$k.txt   
+    done
   done
 done
 fi
-
 popd