From: Christoph Egger <christoph@christoph-egger.org>
Date: Sun, 24 Apr 2016 14:20:39 +0000 (+0200)
Subject: Restore working conditiuons with formulas as tar
X-Git-Url: https://git.siccegge.de//index.cgi?p=master%2Fcool-versuchung.git;a=commitdiff_plain;h=6680ab9d71502064e07f86fcb0772949451c7aad

Restore working conditiuons with formulas as tar
---

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