Project

General

Profile

Actions
Copy link

Feature #6806

open

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

Visualize CPAchecker statistics within Bridge

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

Status:
New
Priority:
Normal
Assignee:
Vladimir Gratinskiy
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 open — 0 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 9 years ago

  • Parent task set to #6801
Actions
Copy link
 #2

Updated by Evgeny Novikov almost 9 years ago

  • Assignee set to Vladimir Gratinskiy
Actions
Copy link

Also available in: Atom PDF