Project

General

Profile

Actions
Copy link

Bug #6195

open

CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable

Added by Anton Volkov over 9 years ago. Updated over 9 years ago.

Status:
New
Priority:
Normal
Assignee:
Ilja Zakharov
Category:
-
Start date:
07/13/2015
Due date:
% Done:

0%

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

Description

Branch: new-envgen-structures
Reports can be found here: berg.intra.ispras.ru:8999/stats/index/profilename/default/name/LDVCompare/user/ldvuser/host/localhost/password/no/filter/TA.id%3D3/page/RCV+Problems/value/Init+variable+twice/Task+id/3/Task+description/LDV+0.8+(wrong+branch)/Environment+version/linux-3.17-rc1.tar.xz/Rule+name/32_7a

Actions
Copy link

Also available in: Atom PDF