blob: b489f00cb9342f89029b03e31809670c555aa89b (
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_swarm_medium2_rand"
config = "experiments/config_medium.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()
|
