Bug #10431
closed
Missing verifier input files for lightweight verification results
Added by Evgeny Novikov almost 4 years ago.
Updated over 3 years ago.
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.
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.
- 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".
- 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.
- 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).
Also available in: Atom
PDF