Enable filtering on a range of assertions · dafny-lang/dafny@97aba5f

Triggered via pull request January 24, 2025 13:59

synchronize #6077

Status Cancelled

Total duration 2m 53s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

4 warnings

Parameter 'int start' is captured into the state of the enclosing type and its value is also used to initialize a field, property, or event.

Parameter 'int end' is captured into the state of the enclosing type and its value is also used to initialize a field, property, or event.

Parameter 'int start' is captured into the state of the enclosing type and its value is also used to initialize a field, property, or event.

Parameter 'int end' is captured into the state of the enclosing type and its value is also used to initialize a field, property, or event.

Produced during runtime

Name	Size
DafnyRef	1.47 MB