Actions
Feature #6803
openFeature #6801: Upload and show CPAchecker statistics in development mode
Extract CPAchecker statistics from its log
Start date:
02/04/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Get CPAchecker statistics separately from its log. Statistics is printed at the end of the log and can be interrupted, not even printed or printed with the stack trace at the end in case of an error. Until it can be printed by CPAchecker as a separate file it should be extracted at the stage of early result processing by scheduler client.
Updated by Evgeny Novikov almost 9 years ago
I assume to extract statistics at the level of verification tasks generation (actually verification results processing) since the most of related work is already done there.
Actions