BEGIN {
    bench_success_flag = 0
}

/^BENCHMARK-SUCESS-STATE/ { bench_success_flag = 1; system("pkill -f -SIGTERM qemu-system-riscv64")}
    {print $0}

END {
    printf "Benchmark execution has finished.\n";

    if (bench_success_flag)
        exit 0;
    else
        exit 1;
}