feat: Method calls with a by-proof · dafny-lang/dafny@949bea6

Triggered via pull request August 12, 2024 13:55

fabiomadge

synchronize #5662

Status Success

Total duration 4m 38s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size
DafnyRef	1.46 MB