ci: run idma tests with rebuilt model

Author: phsauter

.github/scripts/run_sim_flow.sh

@@ -17,6 +17,9 @@ CROC_ROOT="$(cd "$SCRIPT_DIR/../.." && pwd)"
 
 cd "$CROC_ROOT"
 
+# Always restore the checked-in default after a configuration-specific run.
+trap '"$SCRIPT_DIR/set_croc_config.sh"' EXIT
+
 echo "============================================="
 echo "Phase 1: default config — helloworld"
 echo "============================================="
@@ -51,12 +54,9 @@ cd verilator
 ./run_verilator.sh --build
 
 # run all unit tests
-"$SCRIPT_DIR/run_tests.sh"
+"$SCRIPT_DIR/run_tests.sh" --sim obj_dir_rtl/Vtb_croc_soc
 cd "$CROC_ROOT"
 
-# restore defaults
-"$SCRIPT_DIR/set_croc_config.sh"
-
 echo ""
 echo "============================================="
 echo " Simulation completed"