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

[300, '--doctest-modules', '--tb=short', '-m', '-v', '-x', '.py', ': error:', 'CrossHairStatus', 'ProveCache', 'VerificationLevel', 'VerificationResult', 'check', 'conftest.py', 'counterexample', 'counterexample_found', 'counterexamples', 'crosshair', 'doctest', 'exit_code', 'failed', 'files', 'get_files_to_prove', 'hypothesis', 'no Python files', 'no files', 'passed', 'pytest', 'reason', 'run_test', 'run_verify', 'skipped', 'static', 'status', 'stderr', 'stdout', 'target', 'templates/examples', 'verified']