search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

passivation is broken #57

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
One of the refactoring steps broke passivation, which now generates invalid
boogie.

Original issue reported on code.google.com by radugrig...@gmail.com on 10 Sep 2009 at 3:47

GoogleCodeExporter commented 9 years ago

Original comment by radugrig...@gmail.com on 15 Sep 2009 at 12:55