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

[1.0, 'Loading target model', 'Target model loaded', 'TargetModel', 'config', 'device', 'dtype', 'model', 'reserve', 'vocab_size']