This repository has been archived by the owner on Feb 12, 2022. It is now read-only.

PP0029

Dominic Gannaway edited this page Mar 28, 2018 · 1 revision

The implies counter has exceeded the maximum value when trying to simplify abstract values. You can change the counter limit by using the Prepack option abstractValueImpliesMax.