Here is a list of all macros with links to the files they belong to:

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

_

- _ -

• __CPROVER_constant_infinity_uint : cprover.h
• __CPROVER_contracts_library_defined : cprover_contracts.c
• __CPROVER_jsa__internal_get_abstract_node_id : jsa.h
• __CPROVER_jsa__internal_get_abstract_node_index : jsa.h
• __CPROVER_jsa__internal_get_head_node : jsa.h
• __CPROVER_jsa__internal_get_list : jsa.h
• __CPROVER_jsa__internal_get_next : jsa.h
• __CPROVER_jsa__internal_get_previous : jsa.h
• __CPROVER_jsa__internal_is_abstract_node : jsa.h
• __CPROVER_jsa__internal_is_concrete_node : jsa.h
• __CPROVER_jsa_assert : jsa.h
• __CPROVER_jsa_assume : jsa.h
• __CPROVER_JSA_DEFINE_TRANSFORMERS : jsa.h
• __CPROVER_jsa_extern : jsa.h
• __CPROVER_jsa_hasNext : jsa.h
• __CPROVER_jsa_inline : jsa.h
• __CPROVER_JSA_MAX_ABSTRACT_NODES : jsa.h
• __CPROVER_JSA_MAX_ABSTRACT_RANGES : jsa.h
• __CPROVER_JSA_MAX_CONCRETE_NODES : jsa.h
• __CPROVER_JSA_MAX_ITERATORS : jsa.h
• __CPROVER_JSA_MAX_LISTS : jsa.h
• __CPROVER_JSA_MAX_NODES : jsa.h
• __CPROVER_JSA_MAX_NODES_PER_CE_LIST : jsa.h
• __CPROVER_jsa_null : jsa.h
• __CPROVER_jsa_word_max : jsa.h
• _LARGEFILE64_SOURCE : mz_zip_archive.cpp