Early exit by tracking proofCount became unworkable in D14663
It is now no longer used.
Differential D16410
Cleanup unused proofCount roqqit on Jul 2 2024, 21:45. Authored by Tags None Subscribers None
Details
Early exit by tracking proofCount became unworkable in D14663 It is now no longer used. ninja check && ninja check-functional
Diff Detail
|