Search Criteria
Package Details: cbmc 5.11-1
| Git Clone URL: | https://aur.archlinux.org/cbmc.git (read-only, click to copy) |
|---|---|
| Package Base: | cbmc |
| Description: | Bounded Model Checking for ANSI-C |
| Upstream URL: | http://www.cprover.org/cbmc/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | PythonShell |
| Maintainer: | PythonShell |
| Last Packager: | PythonShell |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-05-20 05:57 |
| Last Updated: | 2019-02-10 12:14 |
Dependencies (5)
- bison (byacc-bison, bison-git) (make)
- flex (flex-android, flex-git) (make)
- make (make3, make-git, make-without-guile) (make)
- patch (patch-git) (make)
- perl-libwww (make)
Latest Comments
PythonShell commented on 2017-12-02 01:56
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
@PythonShell md5sums are out of date. Can you update the PKGBUILD?
derektbrown commented on 2017-12-01 01:28
@PythonShell md5sums are out of date. Can you update the PKGBUILD?