Skip to content
Tests

Make reverts rules shorter using double implication #929

Sign in to view logs

Make reverts rules shorter using double implication

Make reverts rules shorter using double implication #929

Triggered via push November 16, 2023 13:38
@sunbreak1211sunbreak1211
pushed a0bd6b1
certora-shorter-revert-rules
Status Success
Total duration 51s
Artifacts –

test.yml

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