How To Install cvise on Fedora 34

cvise is Super-parallel Python port of the C-Reduce

Introduction

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

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 34. In this tutorial we discuss both methods but you only need to choose one of method to install cvise.

Install cvise on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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

sudo dnf -y install cvise

Install cvise on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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 34

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

sudo dnf remove cvise

cvise Package Contents on Fedora 34

/usr/bin/cvise
/usr/bin/cvise-delta
/usr/lib/.build-id
/usr/lib/.build-id/47
/usr/lib/.build-id/47/70b9007911919ce3fdfedff9e37d896e194114
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/6a9adbacb52b442c5e186fcfc219438524170d
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/c7d26fc7760dcbf9ed25e0ac907deaf9e2c5e3
/usr/lib/.build-id/de
/usr/lib/.build-id/de/7d8741f75264c33477b7ad709a42e6610d57ee
/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/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/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/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 34 using yum and dnf.