Skip to content

fix(oracles): never instrument a super() call as a mutation site - #3

Merged
KyleAMathews merged 2 commits into
mainfrom
fix/gap-super-mutant
Nov 9, 2026
Merged

KyleAMathews merged 2 commits into
mainfrom
fix/gap-super-mutant

fix(oracles): no super-region mutation sites in derived constructors

287eca0
Select commit
Loading
Failed to load commit list.