[PATCH] D104917: [Analyzer] Extend exploded-graph-rewriter to support eq and diseq classes

Tue Jul 6 09:20:27 PDT 2021

martong added a comment.

> Do you happen to have a screenshot of how it looks?

Yes! :)

F17793264: image.png <https://reviews.llvm.org/F17793264>
F17793282: image.png <https://reviews.llvm.org/F17793282>

I've added borders to the tables in the `Disequality Info` section, because the default rendering makes it hard to notice if there are multiple disequivalent classes attached to one class (see the second pics).

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D104917/new/

https://reviews.llvm.org/D104917