Skip to content

Revise PR #364: the vacuity finding is correct and proven, but the fix is 2 test lines, not a rename of the module constant - #371

Closed
jaylfc wants to merge 1 commit into
masterfrom
exec/tsk-u22koy
Closed

Revise PR #364: the vacuity finding is correct and proven, but the fix is 2 test lines, not a rename of the module constant#371
jaylfc wants to merge 1 commit into
masterfrom
exec/tsk-u22koy

Commits

Commits on Aug 18, 2026