Project

General

Profile

Actions

Feature #6598

closed

Upload verifier logs and proofs just in development mode

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

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

0%

Estimated time:
Published in build:
c0a4624

Description

At the moment they are always uploaded, but they can be very huge especially for safes.


Related issues 3 (0 open3 closed)

Related to Klever - Bug #6597: Proofs and problem descriptions are the same as verifier logsClosedEvgeny Novikov01/29/2016

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

Actions
Blocked by Klever - Feature #6664: Development modeClosedVladimir Gratinskiy02/01/2016

Actions
Actions #1

Updated by Evgeny Novikov over 8 years ago

  • Subject changed from Upload verifier logs just when debugging to Upload verifier logs and proofs just when corresponding option is enabled
Actions #2

Updated by Evgeny Novikov about 8 years ago

  • Subject changed from Upload verifier logs and proofs just when corresponding option is enabled to Upload verifier logs and proofs just in development mode
Actions #3

Updated by Evgeny Novikov almost 8 years ago

  • Category deleted (Tasks generation)
  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Urgent

We need to deal with this especially in context of #7368. Some work was done by Vitaly, but I am not sure that this is enough. In the most cases we can shrink (get rid of) verifier logs (proofs) at the Task Worker side rather than to do this in VTG strategies.

Actions #4

Updated by Evgeny Novikov almost 8 years ago

  • Category set to Tasks generation
  • Status changed from New to Open

Here it assumed to upload verifier logs just if the user specified a high enough log files level (DEBUG). Other requests will care about more good filtering, processing and splitting of verifier logs, statistics, mandatory messages (e.g. for MAV).

Actions #5

Updated by Evgeny Novikov almost 8 years ago

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

In master since c0a4624.

Actions

Also available in: Atom PDF