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

[0.0, 120, 'Counterexample:', 'DafnyResult', 'Parse error', 'compile_error', 'dafny', 'error', 'file', 'reason', 'run_dafny', 'syntax error', 'syntax errors', 'timeout', 'verification_failed', 'verified', 'verify']