From a5d6887e937c82e1ed5786d7c81945a7b2610c1e Mon Sep 17 00:00:00 2001 From: EtomicBomb Date: Mon, 25 Nov 2024 13:33:41 -0500 Subject: [PATCH] run_dynamic uses a custom shell to run all scripts --- infrastructure/run_dynamic.py | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/infrastructure/run_dynamic.py b/infrastructure/run_dynamic.py index e63bf4aa..d915bca9 100755 --- a/infrastructure/run_dynamic.py +++ b/infrastructure/run_dynamic.py @@ -1,9 +1,10 @@ #!/usr/bin/env python3 +import argparse from pathlib import Path from typing import Optional import json -from subprocess import check_output +from subprocess import check_output, run from collections import Counter import os @@ -15,7 +16,7 @@ def get_parser(): parser = argparse.ArgumentParser( prog='run_dynamic', description='runs the dynamic analysis') - parser.add_argument('--bench', type=Path) + parser.add_argument('--bench', required=True, type=str) parser.add_argument('--run-input', action=argparse.BooleanOptionalAction) parser.add_argument('--run-deps', action=argparse.BooleanOptionalAction) return parser @@ -27,15 +28,11 @@ def get_environment(root): def run_analysis(root: Path, bench: Path, run_input: bool, run_deps: bool): env = get_environment(root) - if run_deps: - run([bench / 'deps.sh'], env=env) + run([root / bench / 'deps.sh'], env=env) if run_input: - run([bench / 'input.sh'], env=env) - run([bench / 'run.sh'], env=env) - -# run([bench / 'verify.sh']) - + run([root / bench / 'input.sh'], env=env) + run([root / bench / 'run.sh'], env=env) if __name__ == '__main__': parser = get_parser()