Invariant cleanup goto programs i r#4

Open

xbauch wants to merge 4 commits intohannes-steffenhagen-diffblue:invariant_cleanup-goto-programs-i_rfrom

xbauch:invariant_cleanup-goto-programs-i_r

Commits on Sep 21, 2018

Use structured exceptions in initialize_goto_model

hannes-steffenhagen-diffblue
authored and
Petr Bauch
committed
WIP replace throws with structured throws or invariant in interpreter

hannes-steffenhagen-diffblue
authored and
Petr Bauch
committed
[WIP] Replace throws with invariants where appropriate

hannes-steffenhagen-diffblue
authored and
Petr Bauch
committed
Rebase to use new exception types, fix some fixmes

Petr Bauch
authored and
Petr Bauch
committed