diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-11-27 14:35:39 +0000 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-11-27 14:35:39 +0000 |
| commit | 897e04fb725d0559c37d02f4042f72e0da0a5889 (patch) | |
| tree | a888d53bd9ea883cdb4a699908ee21e81d8236fe | |
| parent | dd386a02dce9c8fa034de983a8cbbdf59e5a5e63 (diff) | |
| download | focaccia-897e04fb725d0559c37d02f4042f72e0da0a5889.tar.gz focaccia-897e04fb725d0559c37d02f4042f72e0da0a5889.zip | |
Fix benchmark script ck/runtime-breakdown
| -rw-r--r-- | src/focaccia/benchmark/_benchmark.py | 4 | ||||
| -rwxr-xr-x | src/focaccia/tools/benchmark_focaccia.py | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/focaccia/benchmark/_benchmark.py b/src/focaccia/benchmark/_benchmark.py index c6059cd..f777ec9 100644 --- a/src/focaccia/benchmark/_benchmark.py +++ b/src/focaccia/benchmark/_benchmark.py @@ -9,7 +9,7 @@ import gdb import subprocess import time -def runtime(): +def runtime(args): detlog = DeterministicLog(args.deterministic_log) if args.deterministic_log and detlog.base_directory is None: raise NotImplementedError(f'Deterministic log {args.deterministic_log} specified but ' @@ -104,7 +104,7 @@ def main(): args = make_argparser().parse_args() if args.runtime: - runtime() + runtime(args) if __name__ == "__main__": main() diff --git a/src/focaccia/tools/benchmark_focaccia.py b/src/focaccia/tools/benchmark_focaccia.py index 6b184b5..38e236f 100755 --- a/src/focaccia/tools/benchmark_focaccia.py +++ b/src/focaccia/tools/benchmark_focaccia.py @@ -60,7 +60,7 @@ def try_remove(l: list, v): except ValueError: pass -def runtime_benchmark(): +def runtime_benchmark(args): # Test native tracing detlog = DeterministicLog(args.deterministic_log) if args.deterministic_log and detlog.base_directory is None: @@ -118,7 +118,7 @@ def main(): logging.basicConfig(level=logging.ERROR) if args.runtime: - runtime_benchmark() + runtime_benchmark(args) # Get environment env = os.environ.copy() |