aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/run.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/run.py')
-rwxr-xr-xscripts/run.py22
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()