CBMC
cw_builtin_headers.h
Go to the documentation of this file.
1 // clang-format off
2 int __abs(int);
3 void __builtin_va_info();
4 __CPROVER_size_t __builtin_force_const(__CPROVER_size_t);
5 // clang-format on
__abs
int __abs(int)
__builtin_va_info
void __builtin_va_info()
__builtin_force_const
__CPROVER_size_t __builtin_force_const(__CPROVER_size_t)