fix transform of destructor . -> flavours so either finds same state

State Dependency deconstructor and mapper for C source code.

Status: Beta

Brought to you by: enjay77

Status: open

Owner: nobody

Labels: None

Updated: 2015-06-09

Created: 2013-07-18

Private: No

eg x=s.m; x=s->m;
currently, s.m and s->m (in same scope) will be transformed to different states, named s.m and s->m, respectively

nick dennis - 2015-06-09

summary: fix transform of destruct flavours so either finds same state --> fix transform of destructor . -> flavours so either finds same state
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: