Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
语言:C++ · GitHub 星标:188 · Fork:33
话题:c · cpp · klee · software-analysis · static-analysis · symbolic-execution · test-generation · unit-testing
在 GitHub 上查看原仓库