Symex: resolve pointer comparisons using the value-set#4444

Merged

smowton merged 4 commits intodiffblue:developfrom

owen-mc-diffblue:value-set-filtering-infeasible-branch

May 14, 2019

Commits on May 14, 2019

Add pointer field to value_set_dereferencet::valuet

Owen
authored and
smowton
committed
Evaluate some pointer comparisons as true or false

Owen
authored and
smowton
committed
Add tests for symex evaluating simple pointer comparisons

Owen
authored and
smowton
committed
Update existing tests so they pass

Owen
authored and
smowton
committed