Skip to content

refactor pointer_validity_check using address_check

0202f34
Select commit
Loading
Failed to load commit list.
Merged

__CPROVER_r_ok and __CPROVER_w_ok preconditions #2602

refactor pointer_validity_check using address_check
0202f34
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs