How To Install cbmc-utils on Fedora 36

In this tutorial we learn how to install cbmc-utils in Fedora 36. cbmc-utils is Output conversion utilities for CBMC

Introduction

In this tutorial we learn how to install cbmc-utils on Fedora 36.

What is `cbmc-utils`

Output conversion utilities for CBMC (GCC like format).

We can use yum or dnf to install cbmc-utils on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install cbmc-utils.

Install cbmc-utils on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install cbmc-utils using dnf by running the following command:

sudo dnf -y install cbmc-utils

Install cbmc-utils on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install cbmc-utils using yum by running the following command:

sudo yum -y install cbmc-utils

How To Uninstall cbmc-utils on Fedora 36

To uninstall only the cbmc-utils package we can use the following command:

sudo dnf remove cbmc-utils

cbmc-utils Package Contents on Fedora 36

/usr/bin/cbmc-convert-output
/usr/bin/csexec-cbmc
/usr/share/licenses/cbmc-utils
/usr/share/licenses/cbmc-utils/LICENSE

References

cbmc-utils website

Summary

In this tutorial we learn how to install cbmc-utils on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).