Clang Project
clang_source_code
/
test
/
Analysis
/
Inputs
/
Models
/
notzero.model
1
bool notzero(int i) {
2
return i != 0;
3
}