Project

General

Profile

Feature #6806

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

Visualize CPAchecker statistics within Bridge

Added by Ilja Zakharov about 4 years ago. Updated about 4 years ago.

Status:
New
Priority:
Normal
Category:
Bridge
Target version:
-
Start date:
02/04/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

CPAchecker statistics contains a lot of information and its raw format is not user-friendly. A better visualization is required to analyze it within the Klever Bridge.


Related issues

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

Actions

History

#1

Updated by Evgeny Novikov about 4 years ago

  • Parent task set to #6801
#2

Updated by Evgeny Novikov about 4 years ago

  • Assignee set to Vladimir Gratinskiy

Also available in: Atom PDF