[TG-9390] GOTO-symex: propagate notequal conditions for boolean types#5091

Merged

owen-mc-diffblue merged 3 commits intodiffblue:developfrom

owen-mc-diffblue:goto-symex-propagate-notequal-conditions-for-boolean-types

Sep 13, 2019

Commits on Sep 12, 2019

GOTO-symex: propagate notequal conditions for boolean types

smowton
authored and
owen-mc-diffblue
committed
Unit tests for goto_state::apply_condition
owen-mc-diffblue
committed

Commits on Sep 13, 2019

Test we don't call static initialisers unnecessarily
owen-mc-diffblue
committed