aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/run.py
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-07-21 13:37:25 +0200
committerYann Herklotz <git@yannherklotz.com>2019-07-21 13:37:25 +0200
commit30fbe26f59e54a276f88650ffa5e78343b5411eb (patch)
treeaa3166c423f262ee6296826d2c815a0b54084c31 /scripts/run.py
parentb5c035e45949945cc62845fa6492cffa77992524 (diff)
parentc19a51a8156bbcaee13d9819c8fe54ed0ca5c4cc (diff)
downloadverismith-30fbe26f59e54a276f88650ffa5e78343b5411eb.tar.gz
verismith-30fbe26f59e54a276f88650ffa5e78343b5411eb.zip
Merge branch 'master' into fix/resize-modports
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()