From ff2a636b8f869547ff2159de3ecd21bedbc9f9a7 Mon Sep 17 00:00:00 2001 From: AlexShefY Date: Sun, 22 Dec 2024 13:59:24 +0100 Subject: [PATCH] fix --- verified_cogen/several_modes/several_modes.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/verified_cogen/several_modes/several_modes.py b/verified_cogen/several_modes/several_modes.py index 77684f4..5b84072 100644 --- a/verified_cogen/several_modes/several_modes.py +++ b/verified_cogen/several_modes/several_modes.py @@ -23,9 +23,6 @@ def main(): parser = get_default_parser_multiple() - parser.add_argument( - "--ignore-failed", help="Ignore failed files", action="store_true" - ) args = parser.parse_args() print(args.manual_rewriters) @@ -116,7 +113,7 @@ def main(): json_avg_results = results_directory / f"tries_{directory.name}_{mode}_avg.json" with open(json_avg_results, "w") as f: json.dump({}, f) - results_avg: Dict[int, float] = dict([(i, 0) for i in range(args.runs)]) + results_avg: Dict[int, float] = dict([(i, 0) for i in range(args.runs + 1)]) for run in range(args.runs): logger.info(f"Run {run}")