Name: | csmock-plugin-cbmc |
---|---|
Version: | 3.5.1 |
Release: | 1.el7 |
Architecture: | noarch |
Group: | Unspecified |
Size: | 12198 |
License: | GPL-3.0-or-later |
RPM: | csmock-plugin-cbmc-3.5.1-1.el7.noarch.rpm |
Source RPM: | csmock-3.5.1-1.el7.src.rpm |
Build Date: | Fri Feb 02 2024 |
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. |