From a52240fe4f9a160f3fcd65217b7f7307fa13e820 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 30 May 2019 16:00:57 +0100
Subject: Add conversion script

---
 scripts/run.py | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 scripts/run.py

(limited to 'scripts/run.py')

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()
-- 
cgit