HomePhabricator

[analyzer] exploded-graph-rewriter: Implement a topology-only mode.

Authored by dergachev.a on Jul 8 2019, 4:54 PM.

Description

[analyzer] exploded-graph-rewriter: Implement a topology-only mode.

In this mode the rewriter will only rewrite program points
and omit program states. Useful for understanding
the rough topology of the graph.

Differential Revision: https://reviews.llvm.org/D64264

llvm-svn: 365410