Goto analyzer 5 part1#952

Closed

martin-cs wants to merge 6 commits intodiffblue:masterfrom

martin-cs:goto-analyzer-5-part1

Commits on May 22, 2017

Use ai function output in goto-instrument.

danpoe
authored and
martin
committed
Add output_json to the dependence_graph abstract domain.
martin
committed
Improve annotation of dependence graph declarations.
martin
committed
Add utility function for remove_unreachable.
martin
committed
Fix formatting of comments in interval domain.
martin
committed
White space fix up in test case.
martin
committed