[Bug analyzer/102471] RFE: add support to analyzer testsuite for running SAMATE/SARD tests (e.g. Juliet Test Suite)

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102471

--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Another source of possible benchmarks:
  https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks
>From SV-COMP: https://sv-comp.sosy-lab.org/

This embeds the Juliet testsuite, but also many other tests.