Skip to content

Encode that malloc may return NULL in C (weaken postcondition) #2686

Encode that malloc may return NULL in C (weaken postcondition)

Encode that malloc may return NULL in C (weaken postcondition) #2686

Annotations

3 warnings

ScalaTest (-n MATRIX[5])

succeeded Sep 27, 2024 in 12m 57s