diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py index c97fd16..7415113 100644 --- a/esbmc_ai/__about__.py +++ b/esbmc_ai/__about__.py @@ -1,4 +1,4 @@ # Author: Yiannis Charalambous -__version__ = "v0.5.0.dev14" +__version__ = "v0.5.0rc0" __author__: str = "Yiannis Charalambous" diff --git a/esbmc_ai/commands/fix_code_command.py b/esbmc_ai/commands/fix_code_command.py index 9ed2edc..b2db77d 100644 --- a/esbmc_ai/commands/fix_code_command.py +++ b/esbmc_ai/commands/fix_code_command.py @@ -131,7 +131,7 @@ def print_raw_conversation() -> None: if config.raw_conversation: print_raw_conversation() - printv("ESBMC-AI Notice: Succesfully verified code") + printv("ESBMC-AI Notice: Successfully verified code") return False, llm_solution