blob: 526fb302dd48e689b1f8f903ef7a5f8dfab7eba6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/usr/bin/env python3
import subprocess
def main():
i = 0
name = "output_large_rand"
config = "experiments/config_large.toml"
iterations = 20
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)])
i += 1
if __name__ == '__main__':
main()
|