__CPROVER_r_ok and __CPROVER_w_ok preconditions#2602

Merged

kroening merged 4 commits intodevelopfrom

__CPROVER_r/w_ok

Jul 31, 2018

Commits on Jul 30, 2018

__CPROVER_r_ok and __CPROVER_w_ok added to ANSI-C front-end
Daniel Kroening
committed
expand __CPROVER_r/w_ok in goto_check
Daniel Kroening
committed
use __CPROVER_r/w_ok in string.c library
Daniel Kroening
committed

Commits on Jul 31, 2018

refactor pointer_validity_check using address_check
Daniel Kroening
committed