diff --git a/benchmark.py b/benchmark.py index e969c1f2e..c68a9f5de 100644 --- a/benchmark.py +++ b/benchmark.py @@ -85,13 +85,13 @@ def readBenchmarkConfig(config): git(["checkout", config["storage"]["branches"]["config"]], cwd = dataDir) # read instance list - instancesFile = os.path.join(config["storage"]["local"], "instances.yaml") + instancesFile = os.path.join(config["storage"]["local"], "instances.yml") with open(instancesFile, "r") as stream: instances = yaml.load(stream, Loader=yaml.CLoader) # read configurations to test - configurationsFile = os.path.join(config["storage"]["local"], "configurations.yaml") + configurationsFile = os.path.join(config["storage"]["local"], "configurations.yml") with open(configurationsFile, "r") as stream: configurations = yaml.load(stream, Loader=yaml.CLoader) @@ -237,7 +237,7 @@ def runJob(configuration, instance, config): writeStatus("finished benchmark job " + jobName, config) def main(): - with open("config.yaml", "r") as stream: + with open("config.yml", "r") as stream: config = yaml.load(stream, Loader=yaml.CLoader) atexit.register(writeStatus, "benchmark runner exited", config) diff --git a/config.example.yaml b/config.example.yml similarity index 100% rename from config.example.yaml rename to config.example.yml