How to Install and Uninstall cvise Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 16,2024

1. Install "cvise" package

Please follow the steps below to install cvise on Ubuntu 20.10 (Groovy Gorilla)

$ sudo apt update $ sudo apt install cvise

2. Uninstall "cvise" package

In this section, we are going to explain the necessary steps to uninstall cvise on Ubuntu 20.10 (Groovy Gorilla):

$ sudo apt remove cvise $ sudo apt autoclean && sudo apt autoremove

3. Information about the cvise package on Ubuntu 20.10 (Groovy Gorilla)

Package: cvise
Architecture: amd64
Version: 1.7.0-1
Priority: optional
Section: universe/misc
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian GCC Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 31624
Depends: libc6 (>= 2.14), libclang-cpp10, libgcc-s1 (>= 3.0), libllvm10 (>= 1:9~svn298832-1~), libstdc++6 (>= 9), python3:any, clang-format-10, python3, python3-pebble, python3-psutil, unifdef
Filename: pool/universe/c/cvise/cvise_1.7.0-1_amd64.deb
Size: 3152968
MD5sum: a7747146807bf9aa62862af7bc2dc360
SHA1: b67e7c1d3bbc3f6f9d12fe7fcc79180afb5de645
SHA256: b94f7e60dacc8f48f4c58dfcde87b4f34dc29e186ca83f74786f5d89b47e21f2
SHA512: b04c6b5fb253287ce11a7f53039e961609c06df18836af8e658b8ca5d7ce792aa3d45d98aeb5cf83bd0e19a116282e58729d540d791076543d067fa995b039f4
Homepage: https://github.com/marxin/cvise
Description-en: super-parallel Python port of the C-Reduce project
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.
.
NOTE: C-Vise happens to do a pretty good job reducing the size of
programs in languages other than C/C++, such as JavaScript and
Rust. If you need to reduce programs in some other language, please
give it a try.
Description-md5: 0d97eed0474b333b884c9bef9da0e19d