Support for inductively verifying contracts of recursive functions #4085

Sign in to view logs

Triggered via pull request October 17, 2023 21:41

synchronize #2809

JustusAdam:inductive-recursion-for-function-contracts

Status Success

Total duration 1m 13s

Artifacts –

audit.yml

on: pull_request