Package Details: cbmc-bin 5.5-1

Git Clone URL: https://aur.archlinux.org/cbmc-bin.git (read-only)
Package Base: cbmc-bin
Description: Bounded Model Checking for ANSI-C
Upstream URL: http://www.cprover.org/cbmc/
Licenses: custom
Conflicts: cbmc, cbmc-bin
Provides: cbmc
Submitter: vali
Maintainer: PythonShell
Last Packager: PythonShell
Votes: 1
Popularity: 0.000010
First Submitted: 2013-04-23 14:52
Last Updated: 2016-09-03 13:00

Dependencies (0)

Required by (0)

Sources (1)

Latest Comments

frederik commented on 2015-12-04 16:07

package() can not find /tmp/yaourt-tmp/aur-cbmc-bin/src/hw-cbmc - no such file or directory

PythonShell commented on 2015-05-04 01:28

dear vali, are you still maintaining the package?