diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 16:23:36 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-05-30 16:23:42 +0100 |
commit | 850877011c58199f40ba26c47a071d06f8816b89 (patch) | |
tree | fc976a49f6e22dad2ea0b84b1e208d9f8384bf48 | |
parent | 085b83342f8c8b8f1e84aae0fd1eb6c62fb3bf6f (diff) | |
download | verismith-850877011c58199f40ba26c47a071d06f8816b89.tar.gz verismith-850877011c58199f40ba26c47a071d06f8816b89.zip |
Add changes to swarm
-rwxr-xr-x | scripts/run | 13 | ||||
-rwxr-xr-x | scripts/swarm | 16 |
2 files changed, 23 insertions, 6 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__': diff --git a/scripts/swarm b/scripts/swarm index b489f00..99b0c54 100755 --- a/scripts/swarm +++ b/scripts/swarm @@ -1,15 +1,25 @@ #!/usr/bin/env python3 import subprocess +import os def main(): i = 0 - name = "output_swarm_medium2_rand" + name = "medium" config = "experiments/config_medium.toml" iterations = 20 + directory = "swarm" + if not os.path.exists(directory): + os.makedirs(directory) while True: - subprocess.call(["verifuzz", "config", "-c", config, "-o", "config_random.toml", "--randomise"]) - subprocess.call(["verifuzz", "fuzz", "-o", name + str(i), "-c", "config_random.toml", "-n", str(iterations)]) + subprocess.call(["verifuzz", "config" + , "-c", config + , "-o", directory + "/config_medium_random.toml" + , "--randomise"]) + subprocess.call([ "verifuzz", "fuzz" + , "-o", directory + "/" + name + str(i) + , "-c", directory + "/config_medium_random.toml" + , "-n", str(iterations)]) i += 1 if __name__ == '__main__': |