https://bugzilla.redhat.com/show_bug.cgi?id=965570
Bug ID: 965570
Summary: Review Request: cbmc - Bounded Model Checker for
ANSI-C and C++ programs
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected],
[email protected]
Spec URL: http://shakthimaan.fedorapeople.org/SPECS/cbmc.spec
SRPM URL:
http://shakthimaan.fedorapeople.org/SRPMS/cbmc-4.3-1.20130515svn.fc17.src.rpm
Description: Bounded Model Checker for ANSI-C and C++ programs
Fedora Account System Username: shakthimaan
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=poHCS1fvMB&a=cc_unsubscribe
_______________________________________________
package-review mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/package-review
