Skip to content
VeriFast (negative)

Remove spurious comments about the need for quantifiers (#457) #958

Sign in to view logs

Remove spurious comments about the need for quantifiers (#457)

Remove spurious comments about the need for quantifiers (#457) #958

Triggered via push October 8, 2025 18:28
@github-merge-queuegithub-merge-queue[bot]
pushed 6be9ca4
main
Status Success
Total duration 27s
Artifacts –

verifast-negative.yml

on: push
Verify std library
21s
Verify std library
Fit to window
Zoom out
Zoom in