Package Details: cbmc-bin 5.11-1

Git Clone URL: (read-only, click to copy)
Package Base: cbmc-bin
Description: Bounded Model Checking for ANSI-C
Upstream URL:
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
Last Updated: 2019-02-10 12:13

Dependencies (0)

Required by (0)

Sources (1)

Latest Comments

freswa 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?