Package Details: cbmc-bin 5.11-1

Git Clone URL: https://aur.archlinux.org/cbmc-bin.git (read-only, click to copy)
Package Base: cbmc-bin
Description: Bounded Model Checking for ANSI-C
Upstream URL: http://www.cprover.org/cbmc/
Licenses: custom
Conflicts: cbmc, cbmc-git
Provides: cbmc
Submitter: vali
Maintainer: PythonShell
Last Packager: PythonShell
Votes: 1
Popularity: 0.000000
First Submitted: 2013-04-23 14:52 (UTC)
Last Updated: 2019-02-10 12:13 (UTC)

Dependencies (0)

Required by (0)

Sources (1)

Latest Comments

freswa commented on 2015-12-04 16:07 (UTC)

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