remove fail binaries

This commit is contained in:
2026-05-06 19:37:48 +02:00
parent 10fe608a90
commit 9db4cb8bb1
6 changed files with 20 additions and 31 deletions

View File

@ -136,7 +136,8 @@ sub import_trace {
"-v $experiment",
"-b ip",
"--objdump objdump",
# "--sources",
# "--sources",
)
);
system(
@ -150,7 +151,8 @@ sub import_trace {
"-v $experiment",
"-b mem",
"--objdump objdump",
# "--sources",
# "--sources",
)
);
system(
@ -164,7 +166,8 @@ sub import_trace {
"-v $experiment",
"-b regs",
"--objdump objdump",
# "--sources",
# "--sources",
)
);
@ -186,16 +189,13 @@ sub inject {
Util::notify("Injecting $experiment using $count cores...");
my $server_command = join " ", (
"$fail_server",
"--port $fail_server_port",
"--database-option-file $remote_db_conf",
"-v $experiment",
"-b %",
"--inject-single-bit",
"--inject-registers",
">$remote_root/server.log"
);
my $server_command = join " ",
(
"$fail_server", "--port $fail_server_port",
"--database-option-file $remote_db_conf", "-v $experiment",
"-b %", "--inject-single-bit",
"--inject-registers", ">$remote_root/server.log"
);
say "Server command: $server_command";
my $client_command = join " ", (
@ -216,6 +216,7 @@ sub inject {
"-Wf,--ok-marker=fail_marker_positive",
"-Wf,--fail-marker=fail_marker_negative",
"-Wf,--detected-marker=fail_marker_detected",
# ">/dev/null"
">$remote_root/client.log"
);
@ -275,9 +276,12 @@ for my $experiment (@experiments) {
inject($experiment);
results($experiment);
system("mv $remote_root/runner.log $remote_builds_dir/$experiment/runner.log");
system("mv $remote_root/server.log $remote_builds_dir/$experiment/server.log");
system("mv $remote_root/client.log $remote_builds_dir/$experiment/client.log");
system(
"mv $remote_root/runner.log $remote_builds_dir/$experiment/runner.log");
system(
"mv $remote_root/server.log $remote_builds_dir/$experiment/server.log");
system(
"mv $remote_root/client.log $remote_builds_dir/$experiment/client.log");
}
Util::notify("Finished all experiments");