Skip to content
Build and Test

fix: Forbid recursive function uses in decreases clauses #20055

Sign in to view logs

fix: Forbid recursive function uses in decreases clauses

fix: Forbid recursive function uses in decreases clauses #20055

The logs for this run have expired and are no longer available.