csmock-plugin-cbmc Subpackage of csmock
csmock plug-in providing the support for cbmc
This package contains the cbmc plug-in for csmock.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 3.3.0-1.fc36 | - |
| EPEL 8 | 3.3.0-1.el8 | - |
| EPEL 7 | 3.3.0-1.el7 | - |
Package Info
Related Packages
- Upstream: https://github.com/csutils/csmock
- License(s): GPLv3+
- Maintainers: svashisht, kdudka
Related Packages
You can contact the maintainers of this package via email at
csmock dash maintainers at fedoraproject dot org.
Sources on Pagure