自动用例生成Demo

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

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

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