search

qqiangwu / cppsafe

Cpp lifetime safety profile static analyzer
MIT License
39 stars 1 forks source link

fix(contract): relax default output-var check #70

Closed qqiangwu closed 3 months ago