Bug #10431
closedMissing verifier input files for lightweight verification results
100%
Description
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 over 4 years ago
BTW, Pavel found out that the data is stored by Bridge and one can get it through downloading files for competition. But there are not links from leaf reports to verifier (CPAchecker) pages where users can download individual archives like it was before.
Updated by Vladimir Gratinskiy over 4 years ago
- Due date set to 08/04/2020
- Status changed from New to Resolved
- % Done changed from 0 to 100
Download buttons for leaves are implemented in branch "bridge_fix_10431".
Updated by Evgeny Novikov over 4 years 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 over 4 years 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).