Actions
Feature #6801
openUpload and show CPAchecker statistics in development mode
Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
02/04/2016
Due date:
% Done:
0%
Estimated time:
(Total: 0.00 h)
Published in build:
Description
Currently CPAchecker statistics is included in its log, so the issue is relevant to #6598. By the way it should be separated from it somehow and be available for analysis at Bridge.
Updated by Evgeny Novikov almost 9 years ago
- Subject changed from Upload and show CPAchecker statistics in develpoment mode to Upload and show CPAchecker statistics in development mode
Actions