# file: /home/azureuser/agents/platform/athanor-builder/solve/shared/verilog/ebmc_wrapper.py
# hypothesis_version: 6.152.1

[0.0, '--bound', '--k-induction', '--module', '--network=none', '--reset', '--rm', '-v', ':\\s*PROVED\\b', 'EBMC_DOCKER_IMAGE', 'FAILED', 'PROVED_BMC_BOUNDED', 'REFUTED', 'UNKNOWN', '\\n\\s*\\n', '^Counterexample:', 'assume_no_reset', 'bmc', 'bound_k', 'docker', 'ebmc', 'engine', 'error', 'exit_code', 'hw-cbmc:latest', 'k_induction', 'line', 'name', 'property_verdicts', 'proved', 'proved_label', 'refuted', 'reset_expr', 'run', 'timeout', 'verdict']