Missing verifier input files for lightweight verification results
Before Bridge kept verifier input files for lightweight verification results if the corresponding option was switched on when starting a job decision. Now one has to use the heavyweight mode to get the necessary data.
Updated by Evgeny Novikov 6 months ago
- Status changed from Resolved to Open
I like this solution and suggest to add such the button for leaves of heavyweight verification jobs as well. It was always inconvenient to go up to find this useful data. You can remain the link on the verifier (CPAchecker) page as well.
Updated by Evgeny Novikov 5 months ago
- Status changed from Open to Closed
The requested extra feature was implemented, so, I merged the branch to master in e2b8cf872. Starting from it everybody will be able to download verifier input files directly from Safe/Unsafe/Unknown pages (of course, this is possible when a corresponding setting is switched on during a job solution start up).