Skip to content

naustarg/cbmcmutate

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 

Repository files navigation

cbmcmutate

mutation testing meets model checking

About

mutation testing meets model checking

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 69.5%
  • Roff 21.7%
  • C 8.2%
  • TeX 0.5%
  • SMT 0.1%
  • C++ 0.0%