Package Details: cbmc-git 5.11.r1339.gabbb38942-1

Git Clone URL: https://aur.archlinux.org/cbmc-git.git (read-only)
Package Base: cbmc-git
Description: Bounded Model Checking for ANSI-C
Upstream URL: http://www.cprover.org/cbmc/
Licenses: custom
Conflicts: cbmc, cbmc-bin
Provides: cbmc-git
Submitter: PythonShell
Maintainer: PythonShell
Last Packager: PythonShell
Votes: 1
Popularity: 0.000000
First Submitted: 2016-09-04 11:51
Last Updated: 2019-02-11 07:28

Required by (0)

Sources (1)

Latest Comments

PythonShell commented on 2017-12-02 02:07

@derektbrown: package updated.

derektbrown commented on 2017-12-01 01:32

returns an error:
make: *** No rule to make target 'libzip-download'. Stop.