From 10a6806fad70e958e9cd0e4574feb23ddb86216e Mon Sep 17 00:00:00 2001
From: Dylan Bautista <dylan.bautista@bsc.es>
Date: Wed, 19 Feb 2025 12:55:57 +0100
Subject: [PATCH] Update mechanism to kill the desired QEMU process.

---
 verify-bench2.awk | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 verify-bench2.awk

diff --git a/verify-bench2.awk b/verify-bench2.awk
new file mode 100644
index 0000000..226b2a1
--- /dev/null
+++ b/verify-bench2.awk
@@ -0,0 +1,20 @@
+BEGIN {
+    bench_success_flag = 0
+}
+
+function terminate_qemu() {
+    system("kill $(cat qemu.pid)");
+
+    if (bench_success_flag) {
+        print "Benchmark execution has finished successfully. \n"
+        exit 0;
+    } else {
+        print "Benchmark execution has been interrupted by an error. \n"
+        exit 1;
+    }
+}
+
+/^BENCHMARK-SUCESS-STATE/ { bench_success_flag = 1; terminate_qemu()}
+/^BENCHMARK-ERROR-STATE/ { bench_success_flag = 0; terminate_qemu()}
+    {print $0}
+