[PATCH] D83286: [analyzer][solver] Track symbol disequalities

Tue Jul 14 01:06:33 PDT 2020

vsavchenko added a comment.

In D83286#2148787 <https://reviews.llvm.org/D83286#2148787>, @NoQ wrote:

> Data 👍

Thanks 😊 These tables are already generated by a script and I plan to make it into **a phabricator reporter**, so it is easier to put all the data we need here.

> Maybe spend a few minutes remeasuring `libsoundio` more carefully, just in case?

Sure, will do!

> Also i really wish we had per-TU data of that kind, to see if any particular TUs have regressed significantly.

I think we even store all this information about the run, but it needs a bit of refactoring in `CmpRuns.py` to get it in a nice way.  I think it's a good feature to put into my plan for the testing system.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D83286