Test ran at 2024-05-03 13:14:02.991855+00:00

SOLUTION:
Not found: gnatprove=13.2.1


LOG:
Failed to locate log