From 6680ab9d71502064e07f86fcb0772949451c7aad Mon Sep 17 00:00:00 2001 From: Christoph Egger Date: Sun, 24 Apr 2016 16:20:39 +0200 Subject: [PATCH] Restore working conditiuons with formulas as tar --- cool.py | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/cool.py b/cool.py index a4ccd1b..d8dd093 100755 --- a/cool.py +++ b/cool.py @@ -38,14 +38,17 @@ class SolverExperiment(Experiment): def run(self): print("Building Solver ...") self.build_solver() - formulas = sorted(os.listdir(self.inputs.formulas.path), key=natural_key) - shell.track(self.outputs.timing.path) - for formula in formulas: - print("Running for %s ..." % formula) - try: - self.run_solver(os.path.join(self.inputs.formulas.path, formula)) - except CommandFailed: - break + with self.inputs.formulas as path: + formulas = sorted(os.listdir(path), key=natural_key) + shell.track(self.outputs.timing.path) + + for formula in formulas: + print("Running for %s ..." % formula) + try: + + self.run_solver(os.path.join(path, formula)) + except CommandFailed: + break -- 2.39.2