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

[0.0, 137, 143, '--bdd', '--bound', '--buechi', '--ic3', '--k-induction', '--liveness-to-safety', '--module', '--network=none', '--ranking-function', '--reset', '--rm', '-f', '-v', '/', ':\\s*PROVED\\b', 'EBMC_DOCKER_IMAGE', 'FAILED', 'REFUTED', 'UNKNOWN', '\\A(?:\\s*\\n)+', '\\n\\s*\\n', '^Counterexample:', 'bdd', 'bmc', 'docker', 'ebmc', 'hw-cbmc:latest', 'ic3', 'k_induction', 'kairos_flat_', 'line', 'liveness', 'liveness_buechi', 'liveness_ranking', 'name', 'run', 'str | Path | None', 'verdict']