diff --git a/runner.py b/runner.py index 7671952..9237b5b 100755 --- a/runner.py +++ b/runner.py @@ -91,18 +91,5 @@ def main(): os.remove(experiment_file) shutil.rmtree(experiment) - - # with cd(experiment): - # try: - # p = Popen(['./' + experiment], stdout=PIPE) - # out, err = p.communicate() - # except Exception as e: - # print(e) - # print('Failed running experiment: {}', experiment, - # file=sys.stderr) - # sys.exit(1) - # with open(os.path.join('results', experiment + '.out'), 'w') as of: - # of.write(str(out)) - if __name__ == '__main__': main()