On Monday, November 8, 2021 7:10:45 PM CET Jerry James wrote:
> Nice! Thanks for working on this. I tried to use the csmock plugin,
> but got this at the end of the build (on an x86_64 F34 host, building
> for fedora-35-x86_64):
>
> + for file in
> /tmp/csmockadxnd155/metamath-0.198-1.fc36/debu
On Mon, Nov 8, 2021 at 1:23 AM Kamil Dudka wrote:
> Formal verification of RPM packages with CBMC, Divine, and Symbiotic is now
> easier than ever before! csmock plug-ins for these tools are now available
> in stable Fedora releases. The plug-ins are still experimental and they have
> some techn
Formal verification of RPM packages with CBMC, Divine, and Symbiotic is now
easier than ever before! csmock plug-ins for these tools are now available
in stable Fedora releases. The plug-ins are still experimental and they have
some technical limitations:
- They work only for source RPM packages
