Speed up dafny verify by reducing memory pressure
#19218
Annotations
1 error and 5 warnings
|
Run integration tests (non-Windows)
Process completed with exit code 1.
|
|
Run integration tests (non-Windows):
boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L16
Possible null reference return.
|
|
Run integration tests (non-Windows):
boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L27
Dereference of a possibly null reference.
|
|
Run integration tests (non-Windows):
boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L35
Dereference of a possibly null reference.
|
|
Run integration tests (non-Windows):
boogie/Source/ExecutionEngine/Caching/VerificationResultCache.cs#L73
Dereference of a possibly null reference.
|
|
Run integration tests (non-Windows):
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)'.
|
Loading