Project

General

Profile

Actions
Copy link

Bug #5693

open

Current version of LDV sometimes terminates durung interaction with CPAcloud

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

Status:
Resolved
Priority:
Normal
Assignee:
Ilja Zakharov
Category:
CPAchecker
Start date:
03/06/2015
Due date:
% Done:

0%

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

Description

Seems that there are some mistakes in CPAcloud return values processing in current master. Nothing strange was discovered in CPAcloud, so expect bugs in our CPAchecker wrapper implementation.

Actions
Copy link

Also available in: Atom PDF