# file: /home/runner/work/FlashSpec/FlashSpec/flashspec/engine/kv_cache.py
# hypothesis_version: 6.170.11

['1', 'KvSession', 'crop', 'debug_cache_enabled', 'forward', 'get_seq_length', 'logits', 'logits_to_keep', 'num_logits_to_keep', 'past_key_values', 'unexpected keyword', 'use_cache']