goto_symex now uses decision_proceduret API#4533

Merged

tautschnig merged 3 commits intodevelopfrom

goto_symex_decision_procedure

Apr 18, 2019

Commits on Apr 17, 2019

models for literal_exprt
Daniel Kroening
committed
switch ssa_stept to handles
Daniel Kroening
committed

Commits on Apr 18, 2019

goto symex now uses decision_proceduret interface
Daniel Kroening
committed