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.
Category:
Tasks generation
Published in build:
c0a4624
Description
At the moment they are always uploaded, but they can be very huge especially for safes.
- Subject changed from Upload verifier logs just when debugging to Upload verifier logs and proofs just when corresponding option is enabled
- Subject changed from Upload verifier logs and proofs just when corresponding option is enabled to Upload verifier logs and proofs just in development mode
- 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.
- 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).
- Status changed from Open to Closed
- Published in build set to c0a4624
Also available in: Atom
PDF