codeflash-ai/codeflash
1
0
Fork 0
Code Issues 18 Pull requests 33 Projects Releases Packages Wiki Activity Actions 3.6k

fix: add VOID_STATE to VerificationType enum

Browse source 
Instrumentation writes verification_type="void_state" for void methods,
but the enum lacked this value, causing ValueError on every SQLite row parse.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
This commit is contained in:
HeshamHM28 2026-04-07 08:28:21 +00:00
parent f352f9929f
commit 80581971a6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
codeflash/models/models.py
View file

@ -740,6 +740,7 @@ class VerificationType(str, Enum):
)
INIT_STATE_FTO = "init_state_fto" # Correctness verification for fto class instance attributes after init
INIT_STATE_HELPER = "init_state_helper" # Correctness verification for helper class instance attributes after init
VOID_STATE = "void_state" # Correctness verification for void methods (no return value)
@dataclass(frozen=True, slots=True)