diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 16:00:57 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 16:24:46 +0100 |
commit | a52240fe4f9a160f3fcd65217b7f7307fa13e820 (patch) | |
tree | d07713e8eb3c62550ebbf5ddd94f7504ba5f0e86 /scripts/run.py | |
parent | 850877011c58199f40ba26c47a071d06f8816b89 (diff) | |
download | verismith-a52240fe4f9a160f3fcd65217b7f7307fa13e820.tar.gz verismith-a52240fe4f9a160f3fcd65217b7f7307fa13e820.zip |
Add conversion script
Diffstat (limited to 'scripts/run.py')
-rwxr-xr-x | scripts/run.py | 22 |
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() |