Skip to content
Certora

Make reverts rules shorter using double implication #123

Sign in to view logs

Make reverts rules shorter using double implication

Make reverts rules shorter using double implication #123

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

certora.yml

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