# file: /home/azureuser/agents/qa/athanor-sdk/src/kairos/ebmc.py
# hypothesis_version: 6.152.1

[0.0, -500, 300, 4000, '.', 'EbmcCascadeExhausted', 'EbmcDecomposeHint', 'EbmcRunFailure', 'EbmcRunTimeoutError', 'EbmcSolveResult', 'EbmcVerifyResult', 'FAILED', 'PROVED', 'REFUTED', 'SysVerilogEBMCPlugin', 'TIER_NAME', 'UNKNOWN', '^\\s*module\\s+(\\w+)', 'bdd', 'bmc', 'bmc_bounded', 'bmc_trace', 'bound', 'bound_k', 'counterexample', 'decompose', 'ebmc_verdict', 'elapsed_sec', 'error', 'exception', 'exit_code', 'extra_args', 'failed', 'file', 'filelist', 'function', 'ic3', 'k_induction', 'kairos.ebmc.verify', 'missing_field', 'mode', 'name', 'property_verdicts', 'proved', 'refuted', 'reset_expr', 'solve', 'stderr_first_4k', 'stdout_tail', 'str | Path | None', 'sv_file', 'target', 'timed_out', 'timeout_sec', 'top_module', 'trace', 'transcript_first_4k', 'unknown', 'verify']