aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/swarm.py
blob: 14411216d9e1a9889a1cca83db6ac9bb3914a019 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#!/usr/bin/env python3

import subprocess
import os

def main():
        i = 0
        name = "medium"
        config = "experiments/config_medium.toml"
        iterations = 20
        directory = "swarm"
        if not os.path.exists(directory):
                os.makedirs(directory)
        while True:
                subprocess.call(["verismith", "config"
                                 , "-c", config
                                 , "-o", directory + "/config_medium_random.toml"
                                 , "--randomise"])
                subprocess.call([ "verismith", "fuzz"
                                 , "-o", directory + "/" + name + str(i)
                                 , "-c", directory + "/config_medium_random.toml"
                                 , "-n", str(iterations)])
                i += 1

if __name__ == '__main__':
        main()