Skip to content
Build and Test

Fix: Resolve reveal statement crashes in match cases #20974

Sign in to view logs

Fix: Resolve reveal statement crashes in match cases

Fix: Resolve reveal statement crashes in match cases #20974

Triggered via pull request June 30, 2025 22:07
@fabiomadgefabiomadge
synchronize #6291
fix-issue-6268-proper
Status Failure
Total duration 23m 59s
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
2s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
4s
xunit-tests / populate-matrix-dimensions
singletons
1m 10s
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, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 4)
Process completed with exit code 1.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / win (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
Converting null literal or possible null value to non-nullable type.
xunit-tests / osx (1): Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L131
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#L131
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#L131
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#L131
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#L131
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#L131
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:a1a1fde7c65eb00522252a50e37affbdd47d0172a017527247969ca368ede5c5
integration-test-results-ubuntu-22.04-2 Expired
1.76 MB
sha256:e106c1cc5bbd7912fa91baf96d1444d966e04c577e6a7d2557ed4eaedba410b7
integration-test-results-ubuntu-22.04-3 Expired
1.75 MB
sha256:4f2b0eee80d123c38a1cfbeec0a81c8c5b8c2b76f469aad16e05e5b32dfe31ba
integration-test-results-ubuntu-22.04-4 Expired
1.77 MB
sha256:ccc9ec3ec5f41aad707dcfaa061753bbfdf52a07bfcbb036e77edd2b8287f929
integration-test-results-ubuntu-22.04-5 Expired
1.76 MB
sha256:bc9da1d0d46df8828ada6dc77f8fd2141661c8965fbd43ea6dfab61b61cdac13
unit-test-results-macos-13 Expired
9.91 MB
sha256:2e020a24eeb1fd57dcace344bd0f7c698c98ece5efbaecaaccb672e54e1ed4e7
unit-test-results-ubuntu-22.04 Expired
9.94 MB
sha256:dcd4416e4e5c8e354773142d7562bb39957a8cf97c787e06670eec7c36612a9f
unit-test-results-windows-2019 Expired
9.9 MB
sha256:c489577a27ba9eb31233d267bc190ea476258114db3fb4e5a08357e1d047d68c