Symex trace: show implicit value associated with composite declarations#4964

Merged

hannes-steffenhagen-diffblue merged 2 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:fix/trace-decl-initializers

Jul 31, 2019

Commits on Jul 23, 2019

Symex trace: show implicit value associated with composite declarations
smowton
committed

Commits on Jul 30, 2019

Add test checking if trace bug in field sensitivity was fixed
hannes-steffenhagen-diffblue
committed