Name: | csmock-plugin-cbmc |
---|---|
Version: | 3.3.4 |
Release: | 1.el7 |
Architecture: | noarch |
Group: | Unspecified |
Size: | 12198 |
License: | GPLv3+ |
RPM: | csmock-plugin-cbmc-3.3.4-1.el7.noarch.rpm |
Source RPM: | csmock-3.3.4-1.el7.src.rpm |
Build Date: | Thu Sep 15 2022 |
Build Host: | build-ol7-x86_64.oracle.com |
Vendor: | Oracle America |
URL: | https://github.com/csutils/csmock |
Summary: | csmock plug-in providing the support for cbmc |
Description: | This package contains the cbmc plug-in for csmock. |