How to Install and Uninstall relacy-dev Package on Kali Linux

Last updated: December 24,2024

1. Install "relacy-dev" package

Please follow the step by step instructions below to install relacy-dev on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                relacy-dev
            
                    
    
    Copied

2. Uninstall "relacy-dev" package

Learn how to uninstall relacy-dev on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                relacy-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the relacy-dev package on Kali Linux

Package: relacy-dev
Source: relacy
Version: 0.0+git20191025.acc09bb-2
Installed-Size: 369
Maintainer: Debian Med Packaging Team
Architecture: all
Size: 47736
SHA256: 18997d285cd3fdf4cdad995fe4ae151edaf38e970254ae6a2a2ecb45d8463083
SHA1: 8317be795a30e8f4961893f8fedba8bf80cb129e
MD5sum: f4b6994fac0c2f5e2bb4fac17d8fe729
Description: meticulous synchronization algorithm verifier for relaxed memory models
Relacy Race Detector is a tool for efficient execution of unit tests for
synchronization algorithms written in C++0x. Every user thread is
represented as a fiber (ucontext). Every time only one fiber is running,
and special scheduler controls interleaving between fibers. With random
scheduler it just executes numerous amount of various interleavings
between threads. With full search scheduler or context-bound scheduler
it systematically executes all possible interleavings between threads.
While executing particular interleaving it makes exhaustive verification
of various aspects of execution (races, accesses to freed memory etc).
.
If no errors found then verification terminates when particular number
of interleavings are verified (for random scheduler), or when all
possible interleavings are verified (for full search scheduler). If
error is found then tool outputs execution history which leads to error
and terminates. Physically Relacy Race Detector is a header-only library
for C++98.
Description-md5:
Multi-Arch: foreign
Homepage: https://github.com/dvyukov/relacy
Section: libdevel
Priority: optional
Filename: pool/main/r/relacy/relacy-dev_0.0+git20191025.acc09bb-2_all.deb