Name: | csmock-plugin-cbmc |
---|---|
Version: | 3.6.0 |
Release: | 1.el8 |
Architecture: | noarch |
Group: | Unspecified |
Size: | 12198 |
License: | GPL-3.0-or-later |
RPM: | csmock-plugin-cbmc-3.6.0-1.el8.noarch.rpm |
Source RPM: | csmock-3.6.0-1.el8.src.rpm |
Build Date: | Thu Jul 04 2024 |
Build Host: | build-ol8-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. |