aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/run
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-05-30 16:23:36 +0100
committerYann Herklotz <git@yannherklotz.com>2019-05-30 16:23:42 +0100
commit850877011c58199f40ba26c47a071d06f8816b89 (patch)
treefc976a49f6e22dad2ea0b84b1e208d9f8384bf48 /scripts/run
parent085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f (diff)
downloadverismith-850877011c58199f40ba26c47a071d06f8816b89.tar.gz
verismith-850877011c58199f40ba26c47a071d06f8816b89.zip
Add changes to swarm
Diffstat (limited to 'scripts/run')
-rwxr-xr-xscripts/run13
1 files changed, 10 insertions, 3 deletions
diff --git a/scripts/run b/scripts/run
index 311721a..63295af 100755
--- a/scripts/run
+++ b/scripts/run
@@ -1,14 +1,21 @@
#!/usr/bin/env python3
import subprocess
+import os
def main():
i = 0
- name = "output_vivado_all"
- config = "experiments/vivado_all.toml"
+ 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", name + str(i), "-c", config, "-n", str(iterations)])
+ subprocess.call(["verifuzz", "fuzz"
+ , "-o", directory + "/" + name + str(i)
+ , "-c", config
+ , "-n", str(iterations)])
i += 1
if __name__ == '__main__':