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