symex: source is not optional#3890

Merged

tautschnig merged 3 commits intodevelopfrom

source-is-not-optional

Feb 12, 2019

Commits on Feb 12, 2019

Ensure goto_symex_statet::source is always set

Daniel Kroening
authored and
tautschnig
committed
Refactor goto_symext initialisation API
tautschnig
committed
remove the trivial constructor from symex_targett::sourcet

Daniel Kroening
authored and
tautschnig
committed