Skip to content
Tests

Add rule for checking non corresponding storage keeps unchanged #861

Sign in to view logs

Add rule for checking non corresponding storage keeps unchanged

Add rule for checking non corresponding storage keeps unchanged #861

Triggered via push October 31, 2023 15:54
@sunbreak1211sunbreak1211
pushed ae267e2
certora-storage-rule
Status Success
Total duration 1m 24s
Artifacts –

test.yml

on: push
tests
1m 12s
tests
Fit to window
Zoom out
Zoom in