introduce INCOMPLETE_GOTO and turn guarded goto into a stateless pass#2361

Merged

kroening merged 1 commit intodevelopfrom

Jun 18, 2018

Commits on Jun 18, 2018

introduce INCOMPLETE_GOTO and turn guarded goto into a stateless pass
Daniel Kroening
committed