CONTRACTS: introduce __CPROVER_assignable_t and related built-in functions#6886

Closed

remi-delmas-3000 wants to merge 1 commit intodiffblue:developfrom

remi-delmas-3000:cprover-assignable-builtin

Commits on May 26, 2022

CONTRACTS: introduce __CPROVER_assignable_t built-ins and allow
Remi Delmas
committed