eet() increases for decreaseTimeLock is a critical component of the overall proof and the most interesting case, which is currently skipped because of the certora bug. we can merge, but not sure how much value it adds without the decreaseTimeLock case.
Originally posted by @bhargavbh in #835 (review)
eet() increases for
decreaseTimeLockis a critical component of the overall proof and the most interesting case, which is currently skipped because of the certora bug. we can merge, but not sure how much value it adds without the decreaseTimeLock case.Originally posted by @bhargavbh in #835 (review)