Daily soak test workflow #324
robin-awsdaily-soak-test-build.yml
on: schedule
daily-soak-build-for-master
/
populate-matrix-dimensions
3s
Matrix: daily-soak-build-for-master / build
Annotations
1 error and 45 warnings
|
daily-soak-build-for-master / win (4)
Process completed with exit code 1.
|
|
daily-soak-build-for-master / ubuntu-20.04 (5):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (5):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (5):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (4):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (4):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (4):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (1):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (1):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (1):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (3):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (3):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (3):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (2):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (2):
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)'.
|
|
daily-soak-build-for-master / ubuntu-20.04 (2):
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)'.
|
|
daily-soak-build-for-master / osx (1):
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)'.
|
|
daily-soak-build-for-master / osx (1):
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)'.
|
|
daily-soak-build-for-master / osx (1):
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)'.
|
|
daily-soak-build-for-master / win (1):
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)'.
|
|
daily-soak-build-for-master / win (1):
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)'.
|
|
daily-soak-build-for-master / win (1):
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)'.
|
|
daily-soak-build-for-master / win (4):
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)'.
|
|
daily-soak-build-for-master / win (4):
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)'.
|
|
daily-soak-build-for-master / win (4):
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)'.
|
|
daily-soak-build-for-master / win (5):
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)'.
|
|
daily-soak-build-for-master / win (5):
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)'.
|
|
daily-soak-build-for-master / win (5):
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)'.
|
|
daily-soak-build-for-master / win (3):
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)'.
|
|
daily-soak-build-for-master / win (3):
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)'.
|
|
daily-soak-build-for-master / win (3):
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)'.
|
|
daily-soak-build-for-master / osx (2):
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)'.
|
|
daily-soak-build-for-master / osx (2):
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)'.
|
|
daily-soak-build-for-master / osx (2):
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)'.
|
|
daily-soak-build-for-master / osx (4):
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)'.
|
|
daily-soak-build-for-master / osx (4):
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)'.
|
|
daily-soak-build-for-master / osx (4):
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)'.
|
|
daily-soak-build-for-master / win (2):
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)'.
|
|
daily-soak-build-for-master / win (2):
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)'.
|
|
daily-soak-build-for-master / win (2):
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)'.
|
|
daily-soak-build-for-master / osx (5):
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)'.
|
|
daily-soak-build-for-master / osx (5):
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)'.
|
|
daily-soak-build-for-master / osx (5):
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)'.
|
|
daily-soak-build-for-master / osx (3):
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)'.
|
|
daily-soak-build-for-master / osx (3):
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)'.
|
|
daily-soak-build-for-master / osx (3):
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)'.
|