This group is locked. No changes can be made to the group while it is locked.
Re: R? min value is negative, either use unsigned or 'var &= const' #verifier
On Thu, Apr 11, 2019 at 8:37 AM Simon <contact@...> wrote:
Glad you find a solution!
Verifier understands some dynamic check if these dynamic check is
resolved to be constant vs. variable or constant vs. constant compares
during path sensitive verification.