Skip to content
Tests

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

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) #923

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

test.yml

on: push
tests
38s
tests
Fit to window
Zoom out
Zoom in