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

Last updated: May 10,2024

1. Install "cbmc" package

Please follow the guidelines below to install cbmc on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                cbmc
            
                    
    
    Copied

2. Uninstall "cbmc" package

Please follow the guidance below to uninstall cbmc on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                cbmc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: cbmc
Architecture: amd64
Version: 5.12-5
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Michael Tautschnig
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 67287
Depends: gcc, libc6 (>= 2.29), libgcc-s1 (>= 3.4), libstdc++6 (>= 9), minisat
Suggests: gdb
Filename: pool/universe/c/cbmc/cbmc_5.12-5_amd64.deb
Size: 18057108
MD5sum: a8af1af7545fe60c1fe6ad0c80bffe0f
SHA1: 955444f728bae2e6fe0287c3b8b9c5f3d95c51f6
SHA256: be7e049151cacb7511ebff2003ebc5e2d0f761cf705b6773eee0837ead94155a
SHA512: ceab949d48c0dbe7fe2d23849d29795f9cf964d98fc244f03053e60c4c1cb26c6bf629adeea959a718bd9f0d22f99a7fcdab61867198f445523f9f3c3e389285
Homepage: http://www.cprover.org/cbmc/
Description-en: bounded model checker for C and C++ programs
CBMC generates traces that demonstrate how an assertion can be violated, or
proves that the assertion cannot be violated within a given number of loop
iterations.
Description-md5: 2c892fdd5142036595dc17775271afad