How To Install cvise on Fedora 36

In this tutorial we learn how to install cvise in Fedora 36. cvise is Super-parallel Python port of the C-Reduce

Introduction

In this tutorial we learn how to install cvise on Fedora 36.

What is `cvise`

C-Vise is a super-parallel Python port of the C-Reduce. The port is fully compatible to the C-Reduce and uses the same efficient LLVM-based C/C++ reduction tool named clang_delta. C-Vise is a tool that takes a large C, C++ or OpenCL program that has a property of interest (such as triggering a compiler bug) and automatically produces a much smaller C/C++ or OpenCL program that has the same property. It is intended for use by people who discover and report bugs in compilers and other tools that process C/C++ or OpenCL code.

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

Install cvise 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 cvise using dnf by running the following command:

sudo dnf -y install cvise

Install cvise 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 cvise using yum by running the following command:

sudo yum -y install cvise

How To Uninstall cvise on Fedora 36

To uninstall only the cvise package we can use the following command:

sudo dnf remove cvise

cvise Package Contents on Fedora 36

/usr/bin/cvise
/usr/bin/cvise-delta
/usr/lib/.build-id
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/02c5ef4fb790965ff0e2152270945e6049c284
/usr/lib/.build-id/16
/usr/lib/.build-id/16/7f1bd294aa4a16e1b8ce298f2ab4073e8ded7f
/usr/lib/.build-id/62
/usr/lib/.build-id/62/a518fbd497b4da0becfd6f6fbdad6b8140377f
/usr/lib/.build-id/76
/usr/lib/.build-id/76/08debab28e8dd2a88183eae4255e497095df9b
/usr/libexec/cvise
/usr/libexec/cvise/clang_delta
/usr/libexec/cvise/clex
/usr/libexec/cvise/strlex
/usr/libexec/cvise/topformflat
/usr/share/cvise
/usr/share/cvise/__init__.py
/usr/share/cvise/cvise.py
/usr/share/cvise/pass_groups
/usr/share/cvise/pass_groups/all.json
/usr/share/cvise/pass_groups/binary.json
/usr/share/cvise/pass_groups/delta.json
/usr/share/cvise/pass_groups/opencl-120.json
/usr/share/cvise/passes
/usr/share/cvise/passes/__init__.py
/usr/share/cvise/passes/abstract.py
/usr/share/cvise/passes/balanced.py
/usr/share/cvise/passes/blank.py
/usr/share/cvise/passes/clang.py
/usr/share/cvise/passes/clangbinarysearch.py
/usr/share/cvise/passes/clex.py
/usr/share/cvise/passes/comments.py
/usr/share/cvise/passes/gcdabinary.py
/usr/share/cvise/passes/ifs.py
/usr/share/cvise/passes/includeincludes.py
/usr/share/cvise/passes/includes.py
/usr/share/cvise/passes/indent.py
/usr/share/cvise/passes/ints.py
/usr/share/cvise/passes/line_markers.py
/usr/share/cvise/passes/lines.py
/usr/share/cvise/passes/peep.py
/usr/share/cvise/passes/special.py
/usr/share/cvise/passes/ternary.py
/usr/share/cvise/passes/unifdef.py
/usr/share/cvise/tests
/usr/share/cvise/tests/__init__.py
/usr/share/cvise/tests/test_balanced.py
/usr/share/cvise/tests/test_comments.py
/usr/share/cvise/tests/test_ifs.py
/usr/share/cvise/tests/test_ints.py
/usr/share/cvise/tests/test_line_markers.py
/usr/share/cvise/tests/test_nestedmatcher.py
/usr/share/cvise/tests/test_peep.py
/usr/share/cvise/tests/test_special.py
/usr/share/cvise/tests/test_ternary.py
/usr/share/cvise/tests/testabstract.py
/usr/share/cvise/utils
/usr/share/cvise/utils/__init__.py
/usr/share/cvise/utils/error.py
/usr/share/cvise/utils/misc.py
/usr/share/cvise/utils/nestedmatcher.py
/usr/share/cvise/utils/readkey.py
/usr/share/cvise/utils/statistics.py
/usr/share/cvise/utils/testing.py
/usr/share/licenses/cvise
/usr/share/licenses/cvise/COPYING

References

cvise website

Summary

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