fix

chore: run tests with LEAN_ABORT_ON_PANIC
2026-03-17 18:34:06 +00:00 · 2025-03-13 10:45:02 +01:00 · 2025-03-13 10:24:58 +01:00
1 changed files with 1 additions and 1 deletions
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -57,7 +57,7 @@ if(${EMSCRIPTEN})
 endif()

 # LEANC_OPTS in CXX is necessary for macOS c++ to find its headers
-set(TEST_VARS "PATH=${LEAN_BIN}:$PATH ${LEAN_TEST_VARS} CXX='${CMAKE_CXX_COMPILER} ${LEANC_OPTS}' LEANC_OPTS='${LEANC_OPTS}'")
+set(TEST_VARS "PATH=${LEAN_BIN}:$PATH ${LEAN_TEST_VARS} CXX='${CMAKE_CXX_COMPILER} ${LEANC_OPTS}' LEANC_OPTS='${LEANC_OPTS}' LEAN_ABORT_ON_PANIC=1")

 # LEAN TESTS
 file(GLOB LEANTESTS "${LEAN_SOURCE_DIR}/../tests/lean/*.lean")
Author	SHA1	Message	Date
Sebastian Ullrich	2d2c575281	fix	2025-03-13 10:45:02 +01:00
Sebastian Ullrich	0e72de9985	chore: run tests with `LEAN_ABORT_ON_PANIC`	2025-03-13 10:24:58 +01:00