Feature #7793
closed
Show CPU time for verification tasks
Added by Vadim Mutilin over 7 years ago.
Updated over 7 years ago.
Description
I need a possibility to get a list of verification tasks and corresponding CPU for CPAchecker.
For example, it may be the new column for the table
http://ldvstore:8998/reports/component/872930/unsafes/
As far as I understood right now CPU time can be found only by opening a separate page for CPAchecker component which is OK when I analyse one verification task. But it is unacceptable for analysis of a bunch of tasks.
- Due date set to 12/09/2016
- Status changed from New to Resolved
- % Done changed from 0 to 100
Implemented in branch "download_for_compet". I've also updated the branch with the newest changes in the master.
- Category set to Bridge
- Priority changed from Urgent to Normal
Nobody even cares about that still, so, the initial priority was wrong and efforts were wasted.
- Priority changed from Normal to Urgent
as Ilja explained Klever were failing during a whole week and he could not get any result
- Status changed from Resolved to Open
Confirm that it takes place for safes. For unsafes there are, but it is better to name column somehow like 'Verifiers time'.
- Status changed from Open to Resolved
- Status changed from Resolved to Closed
Verified and merged in 6e2305dc.
Also available in: Atom
PDF