a746d5afc3
mass-testing-report: fix bugged formatTime
...
The `formatTime` function was bugged, returning invalidly formatted
strings when the second components was less than 10. Rework it to emit
proper formatting.
2026-03-31 17:00:48 +02:00
1bcd1ef920
mass-testing-report: names for binaries
...
Instead of having all the binaries in the mass-testing-report be
downloaded with the name `input`, have them use a meaningful name
instead.
2025-12-12 15:46:49 +01:00
faf448f320
mass-testing-report: fix incorrect duration
...
Fix missing padding zeros when displaying the runtime of an execution.
2025-05-05 16:02:40 +02:00
7a01742421
mass-testing: show smallest binaries
...
Show on the overview page of mass-testing the smallest binary for OOMs
and timeouts, as these are probably show an early sign of some broken
aspect of the pipeline.
2024-11-13 09:28:12 +01:00
f0a5a48c8e
mass-testing: generate crash graphs for OOMs
...
Add graph/crash statistics generation for the OOM category as well.
2024-10-31 08:58:59 +01:00
1cbd01804c
mass-testing-report: handle empty crash stats
...
When generating crash statistics, handle the case where there are no
statistics for the specified category.
2024-10-31 08:58:59 +01:00
3fe3a8524a
Implement mass testing
...
Add the `revng mass-testing` commands and auxiliary executables which
simplify running revng on a huge quantity of input executables.
2024-10-01 13:38:21 +02:00
Giacomo Vercesi