cprover
|
CPROVER built-in declarations to perform library checks. More...
#include "../cprover_builtin_headers.h"
Go to the source code of this file.
Classes | |
struct | __CPROVER_pipet |
Typedefs | |
typedef signed long long | __CPROVER_ssize_t |
Functions | |
typedef | __typeof__ (sizeof(int)) __CPROVER_size_t |
void * | __CPROVER_allocate (__CPROVER_size_t size, __CPROVER_bool zero) |
CPROVER built-in declarations to perform library checks.
This file is only used by library_check.sh.
Definition in file cprover.h.
void * __CPROVER_allocate | ( | __CPROVER_size_t | size, |
__CPROVER_bool | zero | ||
) |
|
extern |
|
extern |
|
extern |
|
extern |
|
extern |
|
extern |
|
extern |
|
extern |
|
extern |