test

dweindl · Oct 19, 2024 · 7de8483 · 7de8483
1 parent 91054b3
commit 7de8483
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/test_valgrind.yml b/.github/workflows/test_valgrind.yml
@@ -4,6 +4,7 @@ on:
     branches:
       - master
       - update_valgrind_supp
+      - fix_valgrind_tests
   pull_request:
     branches:
       - master

diff --git a/scripts/run-valgrind-cpp.sh b/scripts/run-valgrind-cpp.sh
@@ -10,4 +10,4 @@ set -eou pipefail
 # run tests
 cd "${AMICI_PATH}/build/"
 VALGRIND_OPTS="--leak-check=full --error-exitcode=1 --trace-children=yes --show-leak-kinds=definite"
-valgrind ${VALGRIND_OPTS} ctest
+CTEST_OUTPUT_ON_FAILURE=1 valgrind ${VALGRIND_OPTS} ctest