disambiguate two exprts with same ID#4479

Merged

owen-mc-diffblue merged 5 commits intodiffblue:developfrom

owen-mc-diffblue:fix/disambiguate-two-exprts-with-same-id

Apr 3, 2019

Commits on Apr 2, 2019

Disambiguates two exprts with the same ID.

klaas
authored and
Owen
committed
Rename ID_invalid_pointer to ID_is_invalid_pointer
Owen
committed

Commits on Apr 3, 2019

Create is_invalid_pointer_exprt class
Owen
committed
Use is_invalid_pointer_exprt directly
Owen
committed
Use underscores instead of hyphens
Owen
committed