Project

General

Profile

Actions

Bug #7231

closed

Uploading reports takes too much time

Added by Vitaly Mordan about 8 years ago. Updated about 8 years ago.

Status:
Closed
Priority:
Normal
Category:
Bridge
Target version:
-
Start date:
05/19/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
1127662

Description

Uploading full reports for all Linux kernel modules (takes 600-700Mb) may take a few hours, while in LDV Tools such reports could be uploaded in a few minutes.


Related issues 4 (1 open3 closed)

Related to Klever - Bug #7232: Cannot download relatively big reportClosedVladimir Gratinskiy05/19/2016

Actions
Related to Klever - Feature #7253: Shrink verifier (CPAchecker) logs intellectuallyNew05/25/2016

Actions
Related to Klever - Bug #6597: Proofs and problem descriptions are the same as verifier logsClosedEvgeny Novikov01/29/2016

Actions
Related to Klever - Feature #6598: Upload verifier logs and proofs just in development modeClosedEvgeny Novikov01/29/2016

Actions
Actions

Also available in: Atom PDF