christoph/failnix
1
Fork 0
Code Releases Activity

make fail flags and .wamr_aot configurable from build menu

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-29 02:34:01 +02:00
parent 78733403f5
commit 9c42618028
3 changed files with 133 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
scripts/runner.pl
View File

@ -206,6 +206,15 @@ sub inject {
);
say "Server command: $server_command";
# Read catch flags written by build.pl into the experiment directory
my $runner_flags_file = "$remote_builds_dir/$experiment/runner_flags";
my @catch_flags = ();
if ( -e $runner_flags_file ) {
open( my $rfh, '<', $runner_flags_file ) or die "Cannot open $runner_flags_file: $!";
@catch_flags = map { chomp; "-Wf,$_" } grep { /\S/ } <$rfh>;
close($rfh);
}
my $client_command = join " ", (
"nice $bochs_runner",
"-V $fail_share/vgabios.bin",
@ -220,12 +229,7 @@ sub inject {
"-Wf,--state-dir=$remote_builds_dir/$experiment/state",
"-Wf,--trap",
# Catch invalid instruction pointers
"-Wf,--catch-outerspace",
# Messes with Wasm compilation targets if mmap memory is part of .text
# (because the linear memory is allocated using os_mmap)
"-Wf,--catch-write-textsegment",
@catch_flags,
"-Wf,--timeout=500000",
"-Wf,--ok-marker=fail_marker_positive",