Skip to content
Build DafnyRef.pdf

Speed up dafny verify by reducing memory pressure #18449

Sign in to view logs

Speed up dafny verify by reducing memory pressure

Speed up dafny verify by reducing memory pressure #18449

Triggered via pull request October 11, 2024 12:04
@keyboardDrummerkeyboardDrummer
synchronize #5827
keyboardDrummer:onlyClaimVerificationMemoryPerModule
Status Cancelled
Total duration 4m 55s
Artifacts 1

refman.yml

on: pull_request
check-deep-tests  /  check-deep-tests
11s
check-deep-tests / check-deep-tests
Matrix: build-refman
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L16
Possible null reference return.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L27
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L35
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L73
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L85
Possible null reference argument for parameter 'impl' in 'ImplementationRunResult? VerificationResultCache.Lookup(Implementation impl, bool runDiagnosticsOnTimeout, out int priority)'.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L16
Possible null reference return.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L27
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L35
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L73
Dereference of a possibly null reference.
build-refman (ubuntu-22.04): boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L85
Possible null reference argument for parameter 'impl' in 'ImplementationRunResult? VerificationResultCache.Lookup(Implementation impl, bool runDiagnosticsOnTimeout, out int priority)'.

Artifacts

Produced during runtime
Name Size
DafnyRef
1.47 MB