Skip to content
Build and Test

Type parameters #20923

Sign in to view logs

Type parameters

Type parameters #20923

Triggered via pull request June 27, 2025 09:04
@keyboardDrummerkeyboardDrummer
synchronize #6284
keyboardDrummer:typeParameters
Status Failure
Total duration 4m 52s
Artifacts –

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
5s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
4s
xunit-tests / populate-matrix-dimensions
singletons
1m 54s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

81 errors, 8 warnings, and 1 notice
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.BoogieFactory.cs#L613
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/AstVisitor.cs#L119
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
xunit-tests / osx (1): Source/DafnyCore/AST/Expressions/Applications/FunctionCallExpr.cs#L89
The name 'Cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/AST/Expressions/Applications/FunctionCallExpr.cs#L67
The name 'Cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/AST/Attributes.cs#L53
The name 'Cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / osx (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Resolver/PreType/PreTypeAdvice.cs#L120
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Resolver/TypeCharacteristicChecker.cs#L205
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/Cloner.cs#L101
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/Attributes.cs#L53
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/AstVisitor.cs#L119
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Resolver/TypeCharacteristicChecker.cs#L205
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L113
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L113
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/AST/AstVisitor.cs#L119
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.BoogieFactory.cs#L666
The name 'Cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.BoogieFactory.cs#L613
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
xunit-tests / win (1): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/BoogieStmtListBuilder.cs#L69
No overload for method 'AddLabelCmd' takes 2 arguments
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/AST/Attributes.cs#L53
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/AST/AstVisitor.cs#L119
The type or namespace name 'Cce' could not be found (are you missing a using directive or an assembly reference?)
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
xunit-tests / ubuntu-22.04 (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.
xunit-tests / osx (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.
integration-tests / test (ubuntu-22.04, 3)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-22.04, 5)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-22.04, 4)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
integration-tests / test (ubuntu-22.04, 1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
xunit-tests / win (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.
integration-tests / test (ubuntu-22.04, 2)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
xunit-tests / win (1)
The windows-2019 runner image is being deprecated, consider switching to windows-2022(windows-latest) or windows-2025 instead. For more details see https://github.com/actions/runner-images/issues/12045.