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

[-500, '^\\s*module\\s+(\\w+)', 'bmc_bounded', 'bmc_trace', 'bound', 'bound_k', 'counterexample', 'elapsed_sec', 'error', 'exception', 'exit_code', 'file', 'missing_field', 'name', 'property_verdicts', 'proved', 'refuted', 'stdout_tail', 'sv_file', 'target', 'timed_out', 'timeout_sec', 'top_module', 'trace', 'unknown']