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

['GhostTagResult', '\\s*(\\w+)\\s*<=', 'always_ff\\b', 'clk', 'dispatch_signal', 'end', 'endmodule', 'files_instrumented', 'max_flop_taggers', 'rst_n', 'tag_width', 'tags_injected']