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

[0.0, '--function', '--unwind', 'CbmcResult', 'VERIFICATION FAILED', 'cbmc', 'desc', 'error', 'file', 'line', 'run_cbmc', 'timeout', 'verification_failed']