feat: Compute matching patterns for automatic induction · dafny-lang/dafny@f4815f4

Triggered via pull request October 16, 2024 15:32

synchronize #5835

Status Success

Total duration 2m 58s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

2 warnings

Dereference of a possibly null reference.

Dereference of a possibly null reference.

Produced during runtime

Name	Size
DafnyRef	1.47 MB