[PATCH] D81567: [analyzer] SATest: Introduce a single entrypoint for regression scripts

Valeriy Savchenko via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 10 11:41:28 PDT 2020


vsavchenko added a comment.

In D81567#2085622 <https://reviews.llvm.org/D81567#2085622>, @Szelethus wrote:

> I failed to follow much of this project so my question may be dumb -- but have you considered other run comparing tools such as csa-testbench (https://github.com/Xazax-hun/csa-testbench) and CodeChecker?


Hi, no you didn't miss anything.  I am getting ready ("Eye of the Tiger" starts playing) to address this topic in the mailing list, so I kept you all under informed.  These commits is my attempt in making existing scripts that already live in the repo more usable and prettier.

In short, this whole so-to-speak //project// is about creating a testing system that will for sure produce exactly the same results on any machine.  The trick is in using `docker` to run the analyzer and have all the dependencies pre-installed there.
On `csa-testbench` and `CodeChecker`, unfortunately not all of the CSA developers use `CodeChecker`, and shouldn't be forced to do that for testing.

I will send an email tomorrow and I hope it would make sense :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81567





More information about the cfe-commits mailing list