Skip to content
Verify proofs

Remove split-on-every-assert by introducing ghost array input (#171) #869

Sign in to view logs

Remove split-on-every-assert by introducing ghost array input (#171)

Remove split-on-every-assert by introducing ghost array input (#171) #869

Triggered via push March 25, 2024 16:17
@jtristanjtristan
pushed 1f94fe6
main
Status Success
Total duration 36s
Artifacts –

verify.yml

on: push
verify
27s
verify
Fit to window
Zoom out
Zoom in