Add support for conversion of pointer arithmetic expressions to new SMT backend.#6866

Merged

NlightNFotis merged 7 commits intodiffblue:developfrom

NlightNFotis:smt_pointer_arithmetic_conversion_final

May 28, 2022

Commits on May 28, 2022

Add support for mapping the sizes of expression subtypes in the new SMT backend.
NlightNFotis
committed
Add support for conversion of addition with pointer operand to new SMT backend.
NlightNFotis
committed
Add regression tests for plus_exprt conversion
NlightNFotis
committed
Add a simple test for the conversion of pointer arithmetic/subtraction.
NlightNFotis
committed
Add conversion of minus_exprt with both operands being pointers
NlightNFotis
committed
Add regression tests for the subtraction of two pointer values
NlightNFotis
committed
Add unit tests for pointer arithmetic conversion.
NlightNFotis
committed