Package Details: cbmc 5.11-1

Git Clone URL: https://aur.archlinux.org/cbmc.git (read-only)
Package Base: cbmc
Description: Bounded Model Checking for ANSI-C
Upstream URL: http://www.cprover.org/cbmc/
Licenses: custom
Conflicts: cbmc, cbmc-bin, cbmc-git
Provides: cbmc
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)

Required by (0)

Sources (1)

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?