# file: /home/runner/work/FlashSpec/FlashSpec/benchmarks/tie_check.py
# hypothesis_version: 6.170.13

['ALLOWED_DTYPE', 'RULE', 'allowed_exact_tie', 'capture_verify_rows', 'classify', 'compile_config', 'config', 'do_sample', 'dtype', 'eos_token_id', 'first_divergence', 'float16', 'hf_compiled_logits', 'ids', 'logits', 'margin_top1_top2', 'max_new_tokens', 'min_new_tokens', 'no divergence', 'note', 'output_logits', 'pad_token_id', 'past_key_values', 'path_token', 'path_top2', 'position', 'reference_token', 'reference_top2', 'same_prefix', 'temperature', 'top2', 'top_k', 'top_p', 'use_cache']