Package Details: cpachecker 1.9-2

Git Clone URL: https://aur.archlinux.org/cpachecker.git (read-only, click to copy)
Package Base: cpachecker
Description: Tool for configurable software verification.
Upstream URL: https://svn.sosy-lab.org/software/cpachecker/trunk
Licenses: Apache Version 2.0
Conflicts: cpachecker-svn
Submitter: daniel7
Maintainer: daniel7
Last Packager: daniel7
Votes: 1
Popularity: 0.016983
First Submitted: 2020-03-31 20:12
Last Updated: 2020-04-03 00:17