Feature #7793
closedShow CPU time for verification tasks
100%
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.
Updated by Vladimir Gratinskiy over 7 years ago
- 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.
Updated by Evgeny Novikov over 7 years ago
- 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.
Updated by Vadim Mutilin over 7 years ago
- Priority changed from Normal to Urgent
as Ilja explained Klever were failing during a whole week and he could not get any result
Updated by Vadim Mutilin over 7 years ago
- Status changed from Resolved to Open
I do not see any time column in the latest results
http://10.10.17.144:8998/reports/component/59/safes/
Updated by Ilja Zakharov over 7 years ago
Confirm that it takes place for safes. For unsafes there are, but it is better to name column somehow like 'Verifiers time'.
Updated by Vladimir Gratinskiy over 7 years ago
- Status changed from Open to Resolved
Fixed for safes.
Updated by Ilja Zakharov over 7 years ago
- Status changed from Resolved to Closed
Verified and merged in 6e2305dc.