Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
clang		clang
doc		doc
googletest-release-1.8.0		googletest-release-1.8.0
unittest		unittest
z3		z3
README.md		README.md
opencpptest_0.1.py		opencpptest_0.1.py
opencpptest_0.2.py		opencpptest_0.2.py
requirements.txt		requirements.txt
test1.c		test1.c

Repository files navigation

自动用例生成Demo

第一个版本(python版本+z3约束器+cffi)

第二个版本(python版本+z3约束器+libclang+gtest测试框架+opencppcoverage覆盖率工具)

第三个版本(Clang静态分析器Checker+z3约束器+gtest/gmock测试框架+opencppcoverage覆盖率工具)

About

C++自动用例生成工具

Report repository

Releases

No releases published

Packages

No packages published

Languages