In this mode the rewriter will only rewrite program points and omit program states. Useful for understanding the rough topology of the graph.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
May you would remove the "Program points:" part as we only have that, but I think we have enough space for that tiny note. Thanks!