wlsd and cvp do not play nice together
Bugzilla Link | 501 |
Created on | Jun 02, 2009 12:38 |
Resolution | FIXED |
Resolved on | Sep 03, 2009 11:30 |
Version | 1.00beta |
OS | Linux |
Architecture | PC |
Attachments | tutu.rw3, tutu.cvp, loop10.sac |
Extended Description
wlsd reuses variable names in different parts of a with3 tree then cvp uses the first instants. ac = 0 bc = 1 av = ac av = bc av which cvp changes to: 0 ( av -> ac -> 0) first use and not: 1 ( av -> bc -> 1) second use