From a0e76b71b4f2c07411eecd43dcab7a2f18053803 Mon Sep 17 00:00:00 2001
From: Rico Bergmann <rico.bergmann1@tu-dresden.de>
Date: Thu, 20 Jun 2019 23:15:25 +0200
Subject: [PATCH] Cancel benchmark run when timeout is exceeded
---
scripts/run.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/run.py b/scripts/run.py
index 2424b7e..12c527f 100755
--- a/scripts/run.py
+++ b/scripts/run.py
@@ -91,6 +91,7 @@ def benchmark(conf):
failed_model_idx = conf.Models.index(model)
available_models[tool] = conf.Models[ : failed_model_idx]
print('# Ignoring models {models} for tool {tool} in the future'.format(models=conf.Models[failed_model_idx : ], tool=tool))
+ break
def clean_dir(*path):
--
GitLab