christoph/failnix
1
Fork 0
Code Releases Activity

disable --catch-outerspace

Browse Source
This commit is contained in:
Christoph Urlacher
2026-04-27 15:49:18 +02:00
parent bba9ced348
commit 4d0693dd30
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
flake.nix
View File

@ -321,10 +321,12 @@ rec {
src = pkgs.fetchFromGitea { src = pkgs.fetchFromGitea {
domain = "gitea.local.chriphost.de"; domain = "gitea.local.chriphost.de";
owner = "christoph"; owner = "christoph";
# domain = "git.cs.tu-dortmund.de";
# owner = "christoph.urlacher";
repo = "wamr"; repo = "wamr";
# With mmap_space in .text.wamr_aot # With mmap_space in .text.wamr_aot
rev = "cda2008deb85511089b04b0ac736ad4da2d07e58"; rev = "cda2009deb85511089b04b0ac736ad4da2d07e58";
hash = "sha256-CN6xTiwzF4Jbrpf21TF5c/C03Xb3urwkibRuIXjoU/w="; hash = "sha256-CN6xTiwzF4Jbrpf21TF5c/C03Xb3urwkibRuIXjoU/w=";
# Without mmap_space in .text.wamr_aot # Without mmap_space in .text.wamr_aot

8
scripts/runner.pl
View File

@ -48,14 +48,15 @@ sub trace {
"-e $remote_builds_dir/$experiment/system.elf", "-e $remote_builds_dir/$experiment/system.elf",
"-i $remote_builds_dir/$experiment/system.iso", "-i $remote_builds_dir/$experiment/system.iso",
"--", "--",
"-Wf,--full-trace",
"-Wf,--check-bounds",
"-Wf,--start-symbol=fail_start_trace", "-Wf,--start-symbol=fail_start_trace",
"-Wf,--save-symbol=fail_start_trace", "-Wf,--save-symbol=fail_start_trace",
"-Wf,--end-symbol=fail_stop_trace", "-Wf,--end-symbol=fail_stop_trace",
"-Wf,--state-file=$remote_builds_dir/$experiment/state", "-Wf,--state-file=$remote_builds_dir/$experiment/state",
"-Wf,--trace-file=$remote_builds_dir/$experiment/trace.pb", "-Wf,--trace-file=$remote_builds_dir/$experiment/trace.pb",
"-Wf,--elf-file=$remote_builds_dir/$experiment/system.elf" "-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,--server-port=$fail_server_port",
"-Wf,--state-dir=$remote_builds_dir/$experiment/state", "-Wf,--state-dir=$remote_builds_dir/$experiment/state",
"-Wf,--trap", "-Wf,--trap",
"-Wf,--catch-outerspace",
# "-Wf,--catch-outerspace",
"-Wf,--catch-write-textsegment", "-Wf,--catch-write-textsegment",
"-Wf,--timeout=500000", "-Wf,--timeout=500000",
"-Wf,--ok-marker=fail_marker_positive", "-Wf,--ok-marker=fail_marker_positive",