Skip to content
VeriFast

Remove spurious comments about the need for quantifiers #81

Sign in to view logs

Remove spurious comments about the need for quantifiers

Remove spurious comments about the need for quantifiers #81

Triggered via push August 12, 2025 13:59
@tautschnigtautschnig
pushed 99ea78b
use-quantifiers
Status Success
Total duration 21s
Artifacts –

verifast.yml

on: push
Verify std library
16s
Verify std library
Notify @btj
0s
Notify @btj
Fit to window
Zoom out
Zoom in