/clang/test/Analysis/Inputs/Models/

• ../
• modeledFunction.model
• notzero.model