More precise control-flow graph using the simplifier#2031

Closed

tautschnig wants to merge 2 commits intodiffblue:developfrom

tautschnig:simp-cfg

Commits on Apr 9, 2018

abstract interpretation merge implementations may require a namespace
tautschnig
committed
assume, assert do not have CFG successors if their guard evaluates to false
tautschnig
committed