# AuxiExprVerifier-AEV

**Repository Path**: liangliangboy/AuxiExprVerifier-AEV

## Basic Information

- **Project Name**: AuxiExprVerifier-AEV
- **Description**: https://gitee.com/liangliangboy/AuxiExprVerifier-AEV/settings#index
- **Primary Language**: Python
- **License**: GPL-3.0
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-12-29
- **Last Updated**: 2024-05-30

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# AuxiExprVerifier-AEV
辅助表达式验证工具是使用python脚本检测C语言程序，通过添加辅助表达式，提高插值效率，配合CPAChecker一起使用。
# Dependent package
pycparser 版本是2.20
`pip3 install pycparser==2.20`
# Run
## Run a single file
`./main.py` or `python3 ./main.py`
## Run by a folder
./scripts/run.py -i your-folder -o your-output-folder
# .vsocde/launch.json
My vscode configure file
```json
{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
    "version": "0.2.0",
    "configurations": [{
            "name": "Python: ScriptsRun",
            "type": "python",
            "request": "launch",
            "program": "${workspaceRoot}/scripts/run.py",
            "console": "integratedTerminal",
            "args": [
                "-i", "loop-invariants/",
                "-o", "loop-invariants-auxi/"
            ]
        },
        {
            "name": "Python: Current File",
            "type": "python",
            "request": "launch",
            "program": "${file}",
            "console": "integratedTerminal",
        }
    ]
}
```
# Call me
haowweiling@163.com