Actions
Feature #6804
openFeature #6801: Upload and show CPAchecker statistics in development mode
Upload CPAchecker statistics in the development mode
Status:
New
Priority:
Normal
Assignee:
-
Category:
Results processing
Target version:
-
Start date:
02/04/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
As soon as statistics will be separated from CPAchecker log it should be uploaded to Bridge with the other data from a task decision report.
Updated by Evgeny Novikov almost 9 years ago
- Tracker changed from Bug to Feature
Updated by Evgeny Novikov over 7 years ago
- Category changed from Tasks generation to Results processing
Actions