CCCHECK(1) - Linux manual page online | User commands
Perform static code contracts verification for CLR assemblies.
                             Chapters
                
                    
        
             Loading manual page ...
Perform static code contracts verification for CLR assemblies.