Search Criteria
Package Details: cbmc 5.95.1-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/cbmc.git (read-only, click to copy) |
|---|---|
| Package Base: | cbmc |
| Description: | C Bounded Model Checker |
| Upstream URL: | https://diffblue.github.io |
| Licenses: | custom:4-clause BSD license |
| Conflicts: | cbmc, cbmc-bin, cbmc-git |
| Provides: | cbmc |
| Submitter: | PythonShell |
| Maintainer: | jiri.pospisil |
| Last Packager: | jiri.pospisil |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-05-20 05:57 (UTC) |
| Last Updated: | 2024-02-02 21:33 (UTC) |
Dependencies (0)
Required by (0)
Sources (2)
Latest Comments
jiri.pospisil commented on 2024-02-02 21:35 (UTC)
jiri.pospisil commented on 2024-01-30 19:14 (UTC)
Please update, the current version is 5.95.1. I would be happy to take over the package if you're no longer interested in maintaining it. Thanks!
PythonShell commented on 2017-12-02 01:56 (UTC)
The source code package retrieved from official website of ver 5.8 pkgrel 1, is out of date compared to git repo. The source code complains warnings as error, and the compile process raised warnings indeed.
The PKGBUILD remove -Werror flag in CXXFLAGS, make it build successful ignoring WARNINGS. It is suggest to use cbmc-bin or cbmc-git while version=5.8-1.
@derektbrown package is updated.
derektbrown commented on 2017-12-01 01:28 (UTC)
@PythonShell md5sums are out of date. Can you update the PKGBUILD?
derektbrown commented on 2017-12-01 01:28 (UTC)
@PythonShell md5sums are out of date. Can you update the PKGBUILD?
Pinned Comments
jiri.pospisil commented on 2024-02-02 21:35 (UTC)
https://github.com/jiripospisil/archlinux-aur-cbmc