Fix exit codes in benchmark scripts

This commit is contained in:
Mael Rouxel-Labbé 2023-12-01 22:08:15 +01:00
parent fae9bcd5f1
commit 07f2f2912b
1 changed files with 5 additions and 5 deletions

View File

@ -56,18 +56,18 @@ def compute_robustness_benchmark_data(execname, filename, alpha, max_time):
for output_line in output.split("\n"): for output_line in output.split("\n"):
if output_line == "Command terminated by signal 11": if output_line == "Command terminated by signal 11":
exit_code = 9
continue
elif output_line == "Command terminated by signal 6":
exit_code = 10 exit_code = 10
continue continue
elif output_line == "Command terminated by signal 8": elif output_line == "Command terminated by signal 6":
exit_code = 11 exit_code = 11
continue continue
elif output_line == "Command terminated by signal 8":
exit_code = 12
continue
except subprocess.TimeoutExpired: except subprocess.TimeoutExpired:
os.killpg(os.getpgid(proc.pid), signal.SIGTERM) os.killpg(os.getpgid(proc.pid), signal.SIGTERM)
exit_code = 12 exit_code = 13
output = "process ran too long" output = "process ran too long"
print(exit_codes[exit_code]) print(exit_codes[exit_code])