Name: | csmock-plugin-cbmc |
---|---|
Version: | 3.3.5 |
Release: | 1.el8 |
Architecture: | noarch |
Group: | Unspecified |
Size: | 12198 |
License: | GPLv3+ |
RPM: | csmock-plugin-cbmc-3.3.5-1.el8.noarch.rpm |
Source RPM: | csmock-3.3.5-1.el8.src.rpm |
Build Date: | Sat Dec 10 2022 |
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. |