On Mon, Nov 8, 2021 at 1:23 AM Kamil Dudka <kdudka@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
