cprover
cw_builtin_headers.h
Go to the documentation of this file.
1 int __abs(int);
3 __CPROVER_size_t __builtin_force_const(__CPROVER_size_t);
__builtin_va_info
void __builtin_va_info()
__builtin_force_const
__CPROVER_size_t __builtin_force_const(__CPROVER_size_t)
__abs
int __abs(int)