From 3563a810a1e0203a74b46ae9e7bea7518d7e74df Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Thu, 16 Apr 2026 22:36:48 +0200 Subject: [PATCH] enable --catch-write-textsegment and --catch-outerspace --- fail.just | 2 ++ 1 file changed, 2 insertions(+) diff --git a/fail.just b/fail.just index 0b96cae..7a3a817 100644 --- a/fail.just +++ b/fail.just @@ -90,6 +90,8 @@ client module: -Wf,--server-port={{ FAIL_SERVER_PORT }} \ -Wf,--state-dir={{ BUILD_DIR }}-{{ module }}/state \ -Wf,--trap \ + -Wf,--catch-write-textsegment \ + -Wf,--catch-outerspace \ -Wf,--timeout=500000 \ -Wf,--ok-marker=fail_marker_positive \ -Wf,--fail-marker=fail_marker_negative \