Skip to content
Build and Test

Fix: Resolve reveal statement crashes in match cases #20973

Sign in to view logs

Fix: Resolve reveal statement crashes in match cases

Fix: Resolve reveal statement crashes in match cases #20973

Triggered via pull request June 30, 2025 21:40
@fabiomadgefabiomadge
opened #6291
fix-issue-6268-proper
Status Failure
Total duration 24m 35s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
4s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
singletons
53s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

4 errors, 19 warnings, and 1 notice
singletons
Process completed with exit code 2.
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 2)
Process completed with exit code 1.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L123
Converting null literal or possible null value to non-nullable type.
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.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-22.04-1 Expired
1.77 MB
sha256:218e9b3c7fbabd292ba25690283c2747a9538b8debe7a459f94d554d76eb7b62
integration-test-results-ubuntu-22.04-2 Expired
1.76 MB
sha256:9c13d2e932519a8775f594cb24e57703057e0d8bb9c1e7bffc9ddb7d886bbcf3
integration-test-results-ubuntu-22.04-3 Expired
1.75 MB
sha256:3b844308fcca99403ee738de777e882817a6266adebaebad600d9f91236063bf
integration-test-results-ubuntu-22.04-4 Expired
1.77 MB
sha256:6c28e4d8e25848043c94a1ca527ba9dfd3f915716ec6f0cfab2fbfa1ebc2dc68
integration-test-results-ubuntu-22.04-5 Expired
1.76 MB
sha256:9ff904215922c67f75d4cbdfbe117948e1ead002903551c73b9710da8e118c6a
unit-test-results-macos-13 Expired
9.91 MB
sha256:35b743976aab0b5409d9ed42e4badb2dfd8fa6f0bd91c37ee9d802cbc7199aa4
unit-test-results-ubuntu-22.04 Expired
9.94 MB
sha256:39e731844c120dbdf1506b24a2dabc1ca911b8a2afdc2bf95b8b85c3d5104fe9
unit-test-results-windows-2019 Expired
9.9 MB
sha256:5b3175e2151bf2c94105d4d9a718d2941fd3354f6c5de90aa5bf9cae327e3d02