cprover
Loading...
Searching...
No Matches
cw_builtin_headers.h File Reference

Go to the source code of this file.

Functions

int __abs (int)
void __builtin_va_info ()
__CPROVER_size_t __builtin_force_const (__CPROVER_size_t)

Function Documentation

◆ __abs()

int __abs ( int )

◆ __builtin_force_const()

__CPROVER_size_t __builtin_force_const ( __CPROVER_size_t )

◆ __builtin_va_info()

void __builtin_va_info ( )