This repository has been archived by the owner on Jan 23, 2023. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Record doomed loops iff COUNT_LOOPS defined
When COUNT_LOOPS is not defined, stop earlier to avoid wasting time finding a loop we won't be able to record. When COUNT_LOOPS is defined, don't stop at all, so we can count all the loops.
- Loading branch information