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

- _ -

• __ATOMIC_ACQ_REL : gcc.c
• __ATOMIC_ACQUIRE : gcc.c
• __ATOMIC_CONSUME : gcc.c
• __ATOMIC_RELAXED : gcc.c
• __ATOMIC_RELEASE : gcc.c
• __ATOMIC_SEQ_CST : gcc.c
• __CPROVER_cegis_max_instruction : cegis.c
• __CPROVER_cegis_max_solution_size : cegis.c
• __CPROVER_cegis_number_of_consts : cegis.c
• __CPROVER_cegis_number_of_ops : cegis.c
• __CPROVER_cegis_number_of_vars : cegis.c
• __CPROVER_constant_infinity_uint : cprover.h
• __CPROVER_contracts_library_defined : cprover_contracts.c
• __CPROVER_ERR_H_INCLUDED : err.c
• __CPROVER_ERRNO_H_INCLUDED : fcntl.c, math.c, pthread_lib.c, random.c, stdlib.c, time.c, unistd.c
• __CPROVER_FCNTL_H_INCLUDED : fcntl.c
• __CPROVER_FENV_H_INCLUDED : math.c
• __CPROVER_FLOAT_H_INCLUDED : math.c
• __CPROVER_GETOPT_H_INCLUDED : getopt.c
• __CPROVER_INET_H_INCLUDED : inet.c
• __CPROVER_INTTYPES_H_INCLUDED : stdlib.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
• __CPROVER_LIMITS_H_INCLUDED : math.c, stdlib.c
• __CPROVER_LOCALE_H_INCLUDED : locale.c
• __CPROVER_MATH_H_INCLUDED : math.c
• __CPROVER_mutex_t_defined : pthread_lib.c
• __CPROVER_PTHREAD_H_INCLUDED : pthread_lib.c
• __CPROVER_PWD_H_INCLUDED : pwd.c
• __CPROVER_SETJMP_H_INCLUDED : setjmp.c
• __CPROVER_SIGNAL_H_INCLUDED : signal.c
• __CPROVER_STDARG_H_INCLUDED : stdio.c
• __CPROVER_STDDEF_H_INCLUDED : stdlib.c
• __CPROVER_STDINT_H_INCLUDED : inet.c, math.c
• __CPROVER_STDIO_H_INCLUDED : stdio.c
• __CPROVER_STDLIB_H_INCLUDED : err.c, stdio.c, string.c
• __CPROVER_STRING_H_INCLUDED : getopt.c, string.c
• __CPROVER_SYS_MMAN_H_INCLUDED : mman.c
• __CPROVER_SYS_TYPES_H_INCLUDED : signal.c, unistd.c
• __CPROVER_THREADS_H_INCLUDED : threads.c
• __CPROVER_TIME_H_INCLUDED : time.c
• _LARGEFILE64_SOURCE : mz_zip_archive.cpp