Skip to content
Certora

Add rule for checking non corresponding storage keeps unchanged (#67) #117

Sign in to view logs

Add rule for checking non corresponding storage keeps unchanged (#67)

Add rule for checking non corresponding storage keeps unchanged (#67) #117

Triggered via push November 16, 2023 12:29
@sunbreak1211sunbreak1211
pushed fe33f4d
certora
Status Success
Total duration 5m 58s
Artifacts –

certora.yml

on: push
Matrix: Certora
Fit to window
Zoom out
Zoom in