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

[0.0, '--bound', '--k-induction', '--module', '--network=none', '--reset', '--rm', '-v', ':\\s*PROVED\\b', 'EBMC_DOCKER_IMAGE', 'FAILED', 'REFUTED', 'UNKNOWN', '\\A(?:\\s*\\n)+', '\\n\\s*\\n', '^Counterexample:', 'bmc', 'docker', 'ebmc', 'hw-cbmc:latest', 'k_induction', 'line', 'name', 'run', 'solve', 'verdict']