Project

General

Profile

Actions

Bug #5693

open

Current version of LDV sometimes terminates durung interaction with CPAcloud

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

Status:
Resolved
Priority:
Normal
Assignee:
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 #1

Updated by Ilja Zakharov over 9 years ago

  • Status changed from New to Resolved

Fixed in branch fix-cpawrapper-5693 and it is awaiting for testing and merging.

Actions

Also available in: Atom PDF