diff options
Diffstat (limited to 'gen_exps.py')
-rwxr-xr-x | gen_exps.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gen_exps.py b/gen_exps.py index e4e8187..80ae777 100755 --- a/gen_exps.py +++ b/gen_exps.py | |||
@@ -22,6 +22,8 @@ def parse_args(): | |||
22 | default=("%s/exps"%os.getcwd())) | 22 | default=("%s/exps"%os.getcwd())) |
23 | parser.add_option('-f', '--force', action='store_true', default=False, | 23 | parser.add_option('-f', '--force', action='store_true', default=False, |
24 | dest='force', help='overwrite existing data') | 24 | dest='force', help='overwrite existing data') |
25 | parser.add_option('-n', '--num-trials', default=1, type='int', dest='trials', | ||
26 | help='number of task systems for every config') | ||
25 | parser.add_option('-l', '--list-generators', dest='list_gens', | 27 | parser.add_option('-l', '--list-generators', dest='list_gens', |
26 | help='list allowed generators', action='store_true', | 28 | help='list allowed generators', action='store_true', |
27 | default=False) | 29 | default=False) |
@@ -92,7 +94,7 @@ def main(): | |||
92 | params = dict(gen_params.items() + global_params.items()) | 94 | params = dict(gen_params.items() + global_params.items()) |
93 | generator = GENERATORS[gen_name](params) | 95 | generator = GENERATORS[gen_name](params) |
94 | 96 | ||
95 | generator.create_exps(opts.out_dir, opts.force) | 97 | generator.create_exps(opts.out_dir, opts.force, opts.trials) |
96 | 98 | ||
97 | if __name__ == '__main__': | 99 | if __name__ == '__main__': |
98 | main() | 100 | main() |