Class Invariants: Verification #11946
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
doctests
7m 16s
Annotations
1 error and 2 warnings
|
doctests
Process completed with exit code 1.
|
|
doctests:
Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
|
|
doctests:
Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
|