Project

General

Profile

Actions
Copy link

Feature #6803

open

Feature #6801: Upload and show CPAchecker statistics in development mode

Extract CPAchecker statistics from its log

Added by Ilja Zakharov almost 9 years ago. Updated almost 9 years ago.

Status:
New
Priority:
Normal
Assignee:
Ilja Zakharov
Category:
Scheduling
Target version:
-
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.

Related issues 1 (1 open — 0 closed)

Blocks Klever - Feature #6804: Upload CPAchecker statistics in the development modeNew02/04/2016

Actions
Actions
Copy link

Also available in: Atom PDF