Show abstract states in program source code#3215

Merged

kroening merged 2 commits intodevelopfrom

show-ai-on-source

Nov 18, 2018

Commits on Nov 9, 2018

added show_on_source for abstract domains
Daniel Kroening
committed

Commits on Nov 10, 2018

Update src/goto-analyzer/goto_analyzer_parse_options.h

tautschnig
and
kroening
authored