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

[' && ', ',', '--trace', '.sv', '?', 'CLEAN', 'NEW_REFUTATION', 'PARTIAL', '[^A-Za-z0-9_]', '^Counterexample:', '_', '__init_done', 'endmodule', 'name', 'names', 'reachable', 'unreachable', 'w', '✓', '✗']