Skip to content

v0.1.4 - Property-based tests (Phase B)

Choose a tag to compare

View all tags
@knight22-21 knight22-21 released this 06 Sep 14:07
· 111 commits to main since this release
v0.1.4
75b7245

Phase B: Hypothesis Property-Based Tests

341 tests total (up from 324). Added 17 property-based tests using Hypothesis that assert invariants hold for any valid input.

Coverage

  • SecurityScanner: status always in {PASS,WARN,BLOCK}; BLOCK iff BLOCK issue present; identical diff always PASS
  • SecretsDetector: any api_key/password pattern fires; all findings carry fix_suggestion
  • InjectionDetector: f-string SQL always flagged; severity always BLOCK or WARN
  • WeakCryptoDetector: findings are always WARN severity
  • GraphEngine: N unique symbols produce N nodes; removal makes node unreachable; edge roundtrip; caller/callee symmetry
  • SearchMatch: score always in [0.0, 1.0]
Assets 2
Loading