Bug #6597
closed
Proofs and problem descriptions are the same as verifier logs
Added by Evgeny Novikov almost 9 years ago.
Updated over 8 years ago.
Category:
Tasks generation
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).
- Tracker changed from Feature to Bug
- Detected in build set to svn
- 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.
- 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.
Also available in: Atom
PDF