cprover
Loading...
Searching...
No Matches
cw_builtin_headers.h
Go to the documentation of this file.
1// clang-format off
2int __abs(int);
5// clang-format on
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
int __abs(int)
void __builtin_va_info()
__CPROVER_size_t __builtin_force_const(__CPROVER_size_t)