On Mon, Nov 8, 2021 at 1:23 AM Kamil Dudka <kdu...@redhat.com> 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 technical limitations:

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/debug/raw-results/builddir/cbmc-capture/pid-*.out
+ cbmc-convert-output -a
/bin/sh: line 4: cbmc-convert-output: command not found

!!! 2021-11-08 10:02:57    error: post-process hook failed

The problem appears to be that csmock-plugin-cbmc doesn't require cbmc
or cbmc-utils:

$ rpm -q --requires csmock-plugin-cbmc
csexec
csmock-common(python3)
python(abi) = 3.9
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

Regards,
-- 
Jerry James
http://www.jamezone.org/
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam on the list, report it: 
https://pagure.io/fedora-infrastructure

Reply via email to