Merge branch 'master' into HEADfeature/nondeterminism

1 files changed, 22 insertions, 15 deletions

diff --git a/scripts/run.py b/scripts/run.py
index 63295af..3930ca7 100755
--- a/scripts/run.py
+++ b/scripts/run.py
@@ -2,21 +2,28 @@
 
 import subprocess
 import os
+import sys
+import datetime
 
-def main():
-        i = 0
-        name = "mediumB"
-        config = "experiments/config_yosys.toml"
-        iterations = 50
-        directory = "yosys_all"
-        if not os.path.exists(directory):
-                os.makedirs(directory)
-        while True:
-                subprocess.call(["verifuzz", "fuzz"
-                                 , "-o", directory + "/" + name + str(i)
-                                 , "-c", config
-                                 , "-n", str(iterations)])
-                i += 1
+def main(run_id):
+    i = 0
+    name = "medium_{}_".format(run_id)
+    config = "config.toml"
+    iterations = 100
+    directory = "yosys_all"
+    try:
+        os.makedirs(directory)
+    except IOError:
+        pass
+    while True:
+        output_directory = directory + "/" + name + str(i)
+        print("{} :: {}".format(datetime.datetime.now(), output_directory))
+        with open(output_directory + ".log", "w") as f:
+            subprocess.call(["cabal", "run", "-O2", "verismith", "--", "fuzz"
+                             , "-o", output_directory
+                             , "-c", config
+                             , "-n", str(iterations)], stdout=f)
+        i += 1
 
 if __name__ == '__main__':
-        main()
+    main(sys.argv[1])