Skip to content

#3610: a shapes gate reported Pass over ZERO focus nodes — the vacuity check was global, so a directory hid it - #3622

Closed
noahgift wants to merge 16 commits into
mainfrom
PMAT-3610-vacuous-shapes
Closed

#3610: a shapes gate reported Pass over ZERO focus nodes — the vacuity check was global, so a directory hid it#3622
noahgift wants to merge 16 commits into
mainfrom
PMAT-3610-vacuous-shapes

test(shapes): the global-venue tests reach the global path; evidence,…

f6ab946
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar