How to Install and Uninstall klee Package on openSuSE Tumbleweed

Last updated: November 08,2024

1. Install "klee" package

Please follow the steps below to install klee on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                klee
            
                    
    
    Copied

2. Uninstall "klee" package

Please follow the steps below to uninstall klee on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                klee
            
                    
    
    Copied

3. Information about the klee package on openSuSE Tumbleweed

Information for package klee:
-----------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : klee
Version : 3.0+20240208-1.1
Arch : x86_64
Vendor : openSUSE
Installed Size : 8.2 MiB
Installed : No
Status : not installed
Source package : klee-3.0+20240208-1.1.src
Upstream URL : http://klee.github.io/
Summary : LLVM Execution Engine
Description :
KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.