From 4239e36a3d3ab0664a24255d8a3db1f81a62f661 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 20 Nov 2017 23:32:42 +0100 Subject: [PATCH] Require error output to exist With this commit, the error output is required to exist in order for an instance to be considered done. This is just a defensive measure to ensure that no useful information can be missed. --- benchmark.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/benchmark.py b/benchmark.py index 962cd9d33..40228cbad 100644 --- a/benchmark.py +++ b/benchmark.py @@ -136,9 +136,10 @@ def nextJob(config): for configuration in configurations: filenames = outputFilenames(configuration, instance, config) outputFile = os.path.join(config["storage"]["local"], filenames["outputFile"]) + errorFile = os.path.join(config["storage"]["local"], filenames["errorFile"]) environmentFile = os.path.join(config["storage"]["local"], filenames["environmentFile"]) - if not os.path.exists(outputFile) or not os.path.exists(environmentFile): + if not os.path.exists(outputFile) or not os.path.exists(errorFile) or not os.path.exists(environmentFile): return {"configuration": configuration, "instance": instance} return None