Skip to content
Build and Test

Class Invariants: Verification #20897

Sign in to view logs

Class Invariants: Verification

Class Invariants: Verification #20897

Triggered via pull request June 18, 2025 20:59
@ssomayyajulassomayyajula
opened #6276
feat-invariant-verification
Status Failure
Total duration 19m 7s
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
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
4s
xunit-tests / populate-matrix-dimensions
singletons
57s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

9 errors, 15 warnings, and 1 notice
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-22.04 (1)
Process completed with exit code 1.
xunit-tests / win (1)
Process completed with exit code 1.
xunit-tests / osx (1)
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.
integration-tests / test (ubuntu-22.04, 5)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference 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.8 MB
sha256:1ab75126f2a716c5bd7b15f0fdd0e00f03e702420677afe67f48b699cdd7ee6b
integration-test-results-ubuntu-22.04-2 Expired
1.78 MB
sha256:45908767f1d41bc6e7857d6d7b8c2e2506c0947dcb2e8439f283cd87a65c86b6
integration-test-results-ubuntu-22.04-3 Expired
1.8 MB
sha256:615da1ef75e030145a6b487ca1c190180410eb868331781b7c1079b589df069b
integration-test-results-ubuntu-22.04-4 Expired
1.78 MB
sha256:06354bdbda5ee32741e2f643538c6f1a511202022a760f0a3a7e254643017b4e
integration-test-results-ubuntu-22.04-5 Expired
1.8 MB
sha256:9e296818a1cb6c36be0b41c567b74db9ebf475db5cf52f96111ab129b294c239
unit-test-results-macos-13 Expired
4 MB
sha256:4269682bcd290718f2d19101a1eea4543d7231fa7ba8131a43d7dc861f775ee4
unit-test-results-ubuntu-22.04 Expired
4.03 MB
sha256:d5e52cf26bddefd2cea71a5640b7fa9d3dfb850ed07e21def8a57a1fca367715
unit-test-results-windows-2019 Expired
4 MB
sha256:6aef0361bb3742dc56bad03d85c6876e19ad98e1facf5caafee1eac8b1e24717