From 4d0693dd307b4bf091ff05caf3e744371928c909 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Mon, 27 Apr 2026 15:49:18 +0200
Subject: [PATCH] disable --catch-outerspace

---
 flake.nix         | 4 +++-
 scripts/runner.pl | 8 +++++---
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/flake.nix b/flake.nix
index 1542370..895a654 100644
--- a/flake.nix
+++ b/flake.nix
@@ -321,10 +321,12 @@ rec {
           src = pkgs.fetchFromGitea {
             domain = "gitea.local.chriphost.de";
             owner = "christoph";
+            # domain = "git.cs.tu-dortmund.de";
+            # owner = "christoph.urlacher";
             repo = "wamr";
 
             # With mmap_space in .text.wamr_aot
-            rev = "cda2008deb85511089b04b0ac736ad4da2d07e58";
+            rev = "cda2009deb85511089b04b0ac736ad4da2d07e58";
             hash = "sha256-CN6xTiwzF4Jbrpf21TF5c/C03Xb3urwkibRuIXjoU/w=";
 
             # Without mmap_space in .text.wamr_aot
diff --git a/scripts/runner.pl b/scripts/runner.pl
index e6fca0d..36a166c 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -48,14 +48,15 @@ sub trace {
             "-e $remote_builds_dir/$experiment/system.elf",
             "-i $remote_builds_dir/$experiment/system.iso",
             "--",
-            "-Wf,--full-trace",
-            "-Wf,--check-bounds",
             "-Wf,--start-symbol=fail_start_trace",
             "-Wf,--save-symbol=fail_start_trace",
             "-Wf,--end-symbol=fail_stop_trace",
             "-Wf,--state-file=$remote_builds_dir/$experiment/state",
             "-Wf,--trace-file=$remote_builds_dir/$experiment/trace.pb",
             "-Wf,--elf-file=$remote_builds_dir/$experiment/system.elf"
+
+            # "-Wf,--full-trace",
+            # "-Wf,--check-bounds",
         )
     );
 }
@@ -229,7 +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-outerspace",
             "-Wf,--catch-write-textsegment",
             "-Wf,--timeout=500000",
             "-Wf,--ok-marker=fail_marker_positive",