Skip to content
certora-stata

fix: fixing fv failures after code update & upgrade ci (#76) #59

Sign in to view logs

fix: fixing fv failures after code update & upgrade ci (#76)

fix: fixing fv failures after code update & upgrade ci (#76) #59

Annotations

1 error

verify (verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit)

verify (verifyStataToken.conf --rule getClaimableRewards_stable_after_deposit)
failed Nov 19, 2024 in 23s