[Bug 965570] Review Request: cbmc - Bounded Model Checker for ANSI-C and C++ programs

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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

Shakthi Kannan <shakthimaan@xxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |MODIFIED

--- Comment #5 from Shakthi Kannan <shakthimaan@xxxxxxxxx> ---
Fixed the mixed-use-of-spaces-and-tabs, and incoherent-version-in-changelog
rpmlint errors. Since, it is a svn checkout for Source0, a comment has been
added explaining how to obtain the sources.

SPEC: http://shakthimaan.fedorapeople.org/SPECS/cbmc.spec
SRPM:
http://shakthimaan.fedorapeople.org/SRPMS/cbmc-4.3-2.20130515svn.fc18.src.rpm

$ rpmlint cbmc.spec
/home/mbuf/rpmbuild/SPECS/cbmc.spec: W: invalid-url Source0:
cbmc-4.3-20130515svn.tar.gz
0 packages and 1 specfiles checked; 0 errors, 1 warnings.

$ rpmlint cbmc-4.3-2.20130515svn.fc18.x86_64.rpm
cbmc.x86_64: W: no-manual-page-for-binary cbmc
cbmc.x86_64: W: no-manual-page-for-binary goto-instrument
cbmc.x86_64: W: no-manual-page-for-binary goto-cc
1 packages and 0 specfiles checked; 0 errors, 3 warnings.

$ rpmlint cbmc-debuginfo-4.3-2.20130515svn.fc18.x86_64.rpm
1 packages and 0 specfiles checked; 0 errors, 0 warnings.

$ rpmlint cbmc-4.3-2.20130515svn.fc18.src.rpm
cbmc.src: W: invalid-url Source0: cbmc-4.3-20130515svn.tar.gz
1 packages and 0 specfiles checked; 0 errors, 1 warnings.

Successful Koji builds:

Koji Success f19 http://koji.fedoraproject.org/koji/taskinfo?taskID=5538769
Koji Success f17 http://koji.fedoraproject.org/koji/taskinfo?taskID=5538773
Koji Success f18 http://koji.fedoraproject.org/koji/taskinfo?taskID=5538765
Koji Success f20 http://koji.fedoraproject.org/koji/taskinfo?taskID=5538766

-- 
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=Y3z3irBYwp&a=cc_unsubscribe
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review





[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]