csmock plug-in providing the support for cbmc
This package contains the cbmc plug-in for csmock.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 3.3.0-1.fc36 | - |
EPEL 8 | 3.3.0-1.el8 | - |
EPEL 7 | 3.3.0-1.el7 | - |
You can contact the maintainers of this package via email at
csmock dash maintainers at fedoraproject dot org
.