# OpenCppTest

**Repository Path**: yejinlei/OpenCppTest

## Basic Information

- **Project Name**: OpenCppTest
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-02-10
- **Last Updated**: 2021-02-10

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 自动用例生成Demo

## 第一个版本(python版本+z3约束器+cffi)
![](doc/opencpptest_0.1.PNG)

## 第二个版本(python版本+z3约束器+libclang+gtest测试框架+opencppcoverage覆盖率工具)
![](doc/opencpptest_0.2_1.PNG)
![](doc/opencpptest_0.2_2.PNG)
![](doc/opencpptest_0.2_3.PNG)
![](doc/opencpptest_0.2_4.PNG)
![](doc/opencpptest_0.2_5.PNG)
![](doc/opencpptest_0.2_6.PNG)

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