Skip to content
VeriFast

Kani: use -Z unstable-options instead of --enable-unstable #71

Sign in to view logs

Kani: use -Z unstable-options instead of --enable-unstable

Kani: use -Z unstable-options instead of --enable-unstable #71

Triggered via push June 8, 2025 17:49
@tautschnigtautschnig
pushed b1a7e11
no-enable-unstable
Status Success
Total duration 30s
Artifacts –

verifast.yml

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