Type parameters #10460
keyboardDrummerruntime-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
10s
build
2m 21s
Annotations
10 errors
|
build:
Source/DafnyCore/AST/Expressions/Applications/FunctionCallExpr.cs#L67
The name 'Cce' does not exist in the current context
|
|
build:
Source/DafnyCore/AST/Attributes.cs#L53
The name 'Cce' does not exist in the current context
|
|
build:
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?)
|
|
build:
Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L57
'IfCmd' does not contain a constructor that takes 6 arguments
|
|
build:
Source/DafnyCore/Verifier/Statements/IfStatementVerifier.cs#L59
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
|
|
build:
Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'IfCmd' does not contain a constructor that takes 6 arguments
|
|
build:
Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L200
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
|
|
build:
Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L163
The name 'Cce' does not exist in the current context
|
|
build:
Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'IfCmd' does not contain a constructor that takes 6 arguments
|
|
build:
Source/DafnyCore/Verifier/Statements/MatchVerifier.cs#L75
'BlockRewriter' does not contain a definition for 'AllowSplitQ'
|