blob: 636e1c320d3075b33cb8bddf6da41aab7bfa6c49 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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(["verismith", "fuzz"
, "-o", directory + "/" + name + str(i)
, "-c", config
, "-n", str(iterations)])
i += 1
if __name__ == '__main__':
main()
|