Skip to content
Cargo Audit

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

Sign in to view logs

Support for inductively verifying contracts of recursive functions (#…

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

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

audit.yml

on: push
audit
1m 24s
audit
Fit to window
Zoom out
Zoom in