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

[600, 'RoundtripResult', 'block_name', 'clash-out', 'codegen_elapsed_sec', 'codegen_failed', 'codegen_success', 'equivalence_verdict', 'eqy', 'error', 'original_sv', 'proved', 'refuted', 'regenerated_sv', 'run_roundtrip', 'top_module', 'total_elapsed_sec', 'verdict']