# file: /Users/tefx/Projects/Invar/src/invar/shell/prove/crosshair.py
# hypothesis_version: 6.148.8

[300, 1000, 300000, '--analysis_kind=deal', '-m', '.py', ': error:', '@post', '@pre', 'AttributeError:', 'NotImplementedError:', 'TypeError:', 'cached', 'cached_result', 'check', 'counterexample_found', 'counterexamples', 'crosshair', 'error', 'failed', 'file', 'files', 'files_cached', 'files_verified', 'from_cache', 'no Python files', 'no contracts', 'no files', 'post', 'pre', 'reason', 'skipped', 'status', 'stdout', 'time_ms', 'timeout', 'total_time_ms', 'verified', 'workers']