Class Invariants: Resolution and Wellformedness #20092
ssomayyajularefman.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
Matrix: build-refman
Annotations
4 warnings
|
build-refman (ubuntu-22.04):
Source/DafnyCore/Verifier/Invariants/TopLevelDeclWellformednessChecker.cs#L92
Parameter 'ClassLikeDecl cls' is captured into the state of the enclosing type and its value is also passed to the base constructor. The value might be captured by the base class as well.
|
|
build-refman (ubuntu-22.04):
Source/DafnyCore/Verifier/Invariants/TopLevelDeclWellformednessChecker.cs#L92
Parameter 'BoogieGenerator parent' is captured into the state of the enclosing type and its value is also passed to the base constructor. The value might be captured by the base class as well.
|
|
build-refman (ubuntu-22.04):
Source/DafnyCore/Verifier/Invariants/TopLevelDeclWellformednessChecker.cs#L92
Parameter 'ClassLikeDecl cls' is captured into the state of the enclosing type and its value is also passed to the base constructor. The value might be captured by the base class as well.
|
|
build-refman (ubuntu-22.04):
Source/DafnyCore/Verifier/Invariants/TopLevelDeclWellformednessChecker.cs#L92
Parameter 'BoogieGenerator parent' is captured into the state of the enclosing type and its value is also passed to the base constructor. The value might be captured by the base class as well.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
DafnyRef
Expired
|
1.47 MB |
sha256:9cd5ba42fa539a4c77fda9221b1e69d78cffad069274a2b9460fc30af7ff61ab
|
|