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);
int __abs(int)
void __builtin_va_info()
__CPROVER_size_t __builtin_force_const(__CPROVER_size_t)