Project

General

Profile

Actions

Feature #6806

open

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

Visualize CPAchecker statistics within Bridge

Added by Ilja Zakharov about 8 years ago. Updated about 8 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 1 (1 open0 closed)

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

Actions
Actions #1

Updated by Evgeny Novikov about 8 years ago

  • Parent task set to #6801
Actions #2

Updated by Evgeny Novikov about 8 years ago

  • Assignee set to Vladimir Gratinskiy
Actions

Also available in: Atom PDF