From 97882a8a2cc7284c07a71e30e3d338cdeda37bab Mon Sep 17 00:00:00 2001
From: Matt Stanley <1379tech@gmail.com>
Date: Mon, 19 Oct 2026 12:38:43 -0700
Subject: [PATCH] Keep the new overlay IRQ policy oracle active in Release
 tests

---
 runtime/CMakeLists.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt
index c669991b..c4d96b5d 100644
--- a/runtime/CMakeLists.txt
+++ b/runtime/CMakeLists.txt
@@ -1884,6 +1884,11 @@ if(BUILD_TESTING)
     # not starve: LoD "Checking MEMORY CARD" hang). Header-only, no runtime link.
     add_executable(overlay_unit_defer_test tests/test_overlay_unit_defer.c)
     target_include_directories(overlay_unit_defer_test PRIVATE src)
+    if(MSVC)
+        target_compile_options(overlay_unit_defer_test PRIVATE /UNDEBUG)
+    else()
+        target_compile_options(overlay_unit_defer_test PRIVATE -UNDEBUG)
+    endif()
     add_test(NAME overlay_unit_defer_test COMMAND overlay_unit_defer_test)
 
     add_executable(overlay_store_cycle_barrier_test