Skip to content

Skip redundant phase1 TC passes when no uvars are left#4183

Open
nikswamy wants to merge 5 commits into
masterfrom
_nik_optimize_purify_and_check_spec
Open

Skip redundant phase1 TC passes when no uvars are left#4183
nikswamy wants to merge 5 commits into
masterfrom
_nik_optimize_purify_and_check_spec

Add structural slprop check to avoid redundant core_check_term

7c46817
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar