[Bug 456398] Review Request: why - Why software verification platform

[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=456398





--- Comment #13 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-02 22:18:12 EDT ---
Excellent!

I checked and confirmed that you've fixed the blocker (not including the
license file).  rpmlint is now 100% silent (which is good; that means the
buffer overflow protection, etc., will now work properly).

I started up the graphical "gwhy" and confirmed that (1) you can now navigate
the filesystem using the GUI, and that (2) you can work with files not in the
current directory.  Looks good.  I did a try with binary_search.c, and
confirmed that it now works with Zenon (which already has a Fedora package). 
Zenon doesn't do a _great_ job, but it does prove some verification conditions.
 Reducing the number of default columns is a big help; new users will be
overwhelmed enough.

I think it's ready for release. Congrats!

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.