You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
These failures still need to be investigated: XFAIL them in the
meantime.
TN: VA24-041
(cherry picked from commit 0d504c8c59)