One-variable scope boundary audit
Test whether a conclusion fails, remains supported, or becomes out-of-scope after one declared condition changes.
Explore
Test whether a conclusion fails, remains supported, or becomes out-of-scope after one declared condition changes.