diff options
Diffstat (limited to 'scripts/run')
-rwxr-xr-x | scripts/run | 13 |
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__': |