Symex-dereference: simplify after deref [blocks: #2574, #4056]#3725
Merged
tautschnig merged 2 commits intodiffblue:developfrom Mar 7, 2019
Merged
Symex-dereference: simplify after deref [blocks: #2574, #4056]#3725tautschnig merged 2 commits intodiffblue:developfrom
tautschnig merged 2 commits intodiffblue:developfrom
