选择验证函数

验证属性

CBMC配置