Turn off test that was just added which fails on Windows #10011
Annotations
4 warnings
|
Test using outer Makefile:
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
|
Test using outer Makefile:
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
|
Build Dafny:
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
|
Build Dafny:
Source/DafnyCore/AST/Statements/Assignment/AssignStatement.cs#L28
Possible null reference argument for parameter 'source' in 'IEnumerable<IdentifierExpr> Enumerable.SelectMany<Statement, IdentifierExpr>(IEnumerable<Statement> source, Func<Statement, IEnumerable<IdentifierExpr>> selector)'.
|
Loading