Add conversion script

1 files changed, 22 insertions, 0 deletions

diff --git a/scripts/run.py b/scripts/run.py
new file mode 100755
index 0000000..63295af
--- /dev/null
+++ b/scripts/run.py
@@ -0,0 +1,22 @@
+#!/usr/bin/env python3
+
+import subprocess
+import os
+
+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
+
+if __name__ == '__main__':
+        main()