[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #40 from David A. Wheeler <dwheeler at dwheeler.com> 2010-07-18 17:57:49 EDT ---
Okay, I understand that switching to the current version of Frama-C would be a
big deal, due to dependencies on other packages.  So, let's go with the version
of Frama-C that's packaged here.

All of the issues I identified earlier have been resolved, and I don't see any
new issues to deal with.  So, thanks for your hard work!

APPROVED.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.