From 7dfb5858f56742a373916da06c95d79a17940321 Mon Sep 17 00:00:00 2001 From: Yiannis Charalambous Date: Fri, 10 Nov 2023 14:37:40 +0000 Subject: [PATCH] Changed config max attempts of fix code to 10 --- esbmc_ai_lib/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/esbmc_ai_lib/config.py b/esbmc_ai_lib/config.py index dd9e735..5a2c829 100644 --- a/esbmc_ai_lib/config.py +++ b/esbmc_ai_lib/config.py @@ -64,7 +64,7 @@ class ChatPromptSettings(NamedTuple): """Max depth that structs will be initialized into, afterwards initializes with NULL.""" ocm_partial_equivalence_check: Literal["basic", "deep"] = "basic" """Mode to check for partial equivalence on the return value.""" -fix_code_max_attempts: int = 5 +fix_code_max_attempts: int = 10 """Max attempts to fix a code."""