Skip to content
Certora

Make reverts rules shorter using double implication #124

Sign in to view logs

Make reverts rules shorter using double implication

Make reverts rules shorter using double implication #124

Triggered via push November 16, 2023 13:55
@sunbreak1211sunbreak1211
pushed 9737b41
certora
Status Success
Total duration 4m 15s
Artifacts –

certora.yml

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