From 5f6537b7eaac32cc58710697795eb61b72a077b2 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Mon, 27 Apr 2026 19:09:19 +0200
Subject: [PATCH] reenable --catch-outerspace and --catch-write-textsegment

---
 scripts/runner.pl | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/scripts/runner.pl b/scripts/runner.pl
index 84bd078..6910a8d 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -230,9 +230,8 @@ sub inject {
             "-Wf,--server-port=$fail_server_port",
             "-Wf,--state-dir=$remote_builds_dir/$experiment/state",
             "-Wf,--trap",
-
-            # "-Wf,--catch-outerspace",
-            # "-Wf,--catch-write-textsegment",
+            "-Wf,--catch-outerspace",
+            "-Wf,--catch-write-textsegment",
             "-Wf,--timeout=500000",
             "-Wf,--ok-marker=fail_marker_positive",
             "-Wf,--fail-marker=fail_marker_negative",