blob: 63295af62a9e8853e50a8c99a2e7d7a4063f27b7 (
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(["verifuzz", "fuzz"
, "-o", directory + "/" + name + str(i)
, "-c", config
, "-n", str(iterations)])
i += 1
if __name__ == '__main__':
main()
|