christoph/failnix
1
Fork 0
Code Releases Activity

capture runner logs

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-27 17:09:46 +02:00
parent d1c618443c
commit d7548a19ab
4 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/build.pl
View File

@ -47,6 +47,7 @@ die "No mode selected" unless @selected_modes;
# Select 0.info contents
my $info = join " ", TUI::select_from_list( "Select '0.info' Contents for ", 1, (
"baseline",
"--catch-outer",
"--catch-text",
".wamr_mmap",

2
scripts/deploy.pl
View File

@ -19,7 +19,7 @@ my $local_builds_dir = "$local_root/builds";
my $remote_root = '/home/lab/smchurla/Documents/failnix';
my $remote_builds_dir = "$remote_root/builds";
my $remote_runner = "$remote_root/scripts/multi_runner.pl";
my $remote_log = "$remote_root/runner.log";
my $remote_log = "$remote_root/multi_runner.log";
# Upload new experiments
my @experiments = grep { /fail/ } Util::find_subdirs($local_builds_dir);

4
scripts/multi_runner.pl
View File

@ -19,7 +19,9 @@ my @experiments = Util::find_subdirs($remote_builds_dir);
for my $experiment (@experiments) {
say "Running experiment: $experiment";
my $experiment_runner = "$remote_builds_dir/$experiment/runner.pl";
system( "perl", $experiment_runner, $experiment ) == 0
system( "perl", $experiment_runner, $experiment,
">", Util::shell_quote("$remote_builds_dir/$experiment/0_runner.log"),
"2>&1" ) == 0
or warn "runner.pl failed for $experiment: $?";
}

4
scripts/runner.pl
View File

@ -219,8 +219,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",