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

[0.0, '--bound', '--module', '--network=none', '--rm', '-v', ':\\s*PROVED\\b', 'EBMC_DOCKER_IMAGE', 'FAILED', 'REFUTED', 'UNKNOWN', '\\n\\s*\\n', '^Counterexample:', 'docker', 'ebmc', 'hw-cbmc:latest', 'line', 'name', 'run', 'verdict']