From a46adf528dd66d8546e2dc6e93075aca37f5cd23 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Wed, 6 May 2026 19:37:48 +0200
Subject: [PATCH] remove fail binaries

---
 scripts/runner.pl | 36 ++++++++++++++++++++----------------
 1 file changed, 20 insertions(+), 16 deletions(-)

diff --git a/scripts/runner.pl b/scripts/runner.pl
index 7d897cd..de62e87 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -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");