Project

General

Profile

Actions
Copy link

Bug #6597

closed

Proofs and problem descriptions are the same as verifier logs

Added by Evgeny Novikov over 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Tasks generation
Target version:
-
Start date:
01/29/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
daec7f7

Description

When post-processing verification results verifier logs are uploaded twice: as verifier logs and as proofs (for safes) and problem descriptions (for unknowns).

Related issues 2 (0 open — 2 closed)

Related to Klever - Feature #6598: Upload verifier logs and proofs just in development modeClosedEvgeny Novikov01/29/2016

Actions
Related to Klever - Bug #7231: Uploading reports takes too much timeClosedVladimir Gratinskiy05/19/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Tracker changed from Feature to Bug
  • Detected in build set to svn
Actions
Copy link
 #2

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from New to Open
  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Urgent

The related fixes are performed in branch fix-6597.

Actions
Copy link
 #3

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from Open to Closed
  • Published in build set to daec7f7

Proofs are empty files since daec7f7 to master.

Problem descriptions are still the same as verifier logs because of the latter are uploaded when it is unknown whether there is some problem, while for the former verifier logs are required for associating appropriate unknown marks. I don't want to spend much time for this since #6598 will care about empty verifier logs (not problem descriptions) that will be the case for the most production launches.

Actions
Copy link

Also available in: Atom PDF