Project

General

Profile

Bug #10431

Missing verifier input files for lightweight verification results

Added by Evgeny Novikov 6 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Immediate
Category:
Bridge
Target version:
Start date:
07/14/2020
Due date:
08/04/2020
% Done:

100%

Estimated time:
Detected in build:
git
Platform:
Published in build:

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.

History

#1

Updated by Evgeny Novikov 6 months 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.

#2

Updated by Vladimir Gratinskiy 6 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
  • Due date set to 08/04/2020

Download buttons for leaves are implemented in branch "bridge_fix_10431".

#3

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.

#4

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).

Also available in: Atom PDF