emeryberger merged emeryberger/LeanToPython#20 · July 5, 2026 14:49 fuzz: execution-path coverage via sys.monitoring (Phase 4) #20 Phase 4 of the bug-hunting roadmap: add execution-path coverage to --pycov-search so it steers toward uncovered branch combinations, not just indiv… +172 -48