Skip to content
Kani Format Check

Support for inductively verifying contracts of recursive functions (#… #5368

Sign in to view logs

Support for inductively verifying contracts of recursive functions (#…

Support for inductively verifying contracts of recursive functions (#… #5368

Triggered via push October 17, 2023 23:51
@JustusAdamJustusAdam
pushed 2d32361
main
Status Success
Total duration 3m 54s
Artifacts –

format-check.yml

on: push
format-check
12s
format-check
clippy-check
3m 43s
clippy-check
Fit to window
Zoom out
Zoom in