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 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to 'scripts/run') 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__': -- cgit