Max Kazantsev d0950d05a6 [NFC][IRCE] Do not store latch exit count ...

It is not actually used for any computations. Its only purpose is to
check that the loop is finite and find out the type of computed exit
count. Refactor code so that we only store this type.

2023-04-10 14:00:14 +07:00

75 KiB

Raw Blame History

View Raw