From 850877011c58199f40ba26c47a071d06f8816b89 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 30 May 2019 16:23:36 +0100 Subject: Add changes to swarm --- scripts/run | 13 ++++++++++--- scripts/swarm | 16 +++++++++++++--- 2 files changed, 23 insertions(+), 6 deletions(-) (limited to 'scripts') 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__': -- cgit