Nightly test and release workflow #295
keyboardDrummernightly-build.yml
on: schedule
nightly-build-for-master
/
...
/
populate-matrix-dimensions
0s
nightly-build-for-master
/
determine-vars
4s
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master
/
...
/
publish-release
10m 38s
Annotations
253 warnings
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
integration-test-results-macos-13-1
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-10
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-2
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-3
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-4
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-5
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-6
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-7
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-8
Expired
|
1.25 MB |
|
|
integration-test-results-macos-13-9
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-10
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-6
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-7
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-8
Expired
|
1.25 MB |
|
|
integration-test-results-ubuntu-20.04-9
Expired
|
1.25 MB |
|
|
integration-test-results-windows-2019-1
Expired
|
40.2 KB |
|
|
integration-test-results-windows-2019-10
Expired
|
39.5 KB |
|
|
integration-test-results-windows-2019-2
Expired
|
39.5 KB |
|
|
integration-test-results-windows-2019-3
Expired
|
39.1 KB |
|
|
integration-test-results-windows-2019-4
Expired
|
39.1 KB |
|
|
integration-test-results-windows-2019-5
Expired
|
40.4 KB |
|
|
integration-test-results-windows-2019-6
Expired
|
39.1 KB |
|
|
integration-test-results-windows-2019-7
Expired
|
39.6 KB |
|
|
integration-test-results-windows-2019-8
Expired
|
39.6 KB |
|
|
integration-test-results-windows-2019-9
Expired
|
39.4 KB |
|
|
nuget-packages
Expired
|
14.9 MB |
|