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

- _ -

• __attribute__ : solidity_mapping.c
• __cudaCurrentDevice : call_kernel.h
• __cudaDeviceCount : call_kernel.h
• __esbmc_asctime_buf : time.c
• __ESBMC_blocked_threads_count : semaphore_lib.c
• __esbmc_buffer_pending : io.c
• __esbmc_ctime_buf : time.c
• __esbmc_currently_reading : io.c
• __esbmc_errno : io.c
• __esbmc_error_state : io.c
• __ESBMC_exc_terminate_reason : exception.cpp
• __ESBMC_exc_thrown : exception.cpp
• __ESBMC_exc_typeid : exception.cpp
• __ESBMC_exc_uncaught_count : exception.cpp
• __ESBMC_exc_value : exception.cpp
• __ESBMC_float_buf : list.c
• __ESBMC_float_buf_idx : list.c
• __ESBMC_fp_taylor_terms : exp.c
• __ESBMC_generic_type : list.c
• __esbmc_getdate_buf : time.c
• __esbmc_gmtime_buf : time.c
• __esbmc_gmtime_last_input : time.c
• __ESBMC_list_retyped : list.c
• __ESBMC_list_type : list.c
• __esbmc_localtime_buf : time.c
• __esbmc_localtime_last_input : time.c
• __ESBMC_longjmp_pending : setjmp.c
• __ESBMC_longjmp_token : setjmp.c
• __ESBMC_longjmp_value : setjmp.c
• __ESBMC_mutex_owner_tracking : pthread_lib.c
• __ESBMC_num_threads_running : semaphore_lib.c
• __esbmc_pipe_fds : io.c
• __ESBMC_rounding_mode : fenv.c
• __ESBMC_setjmp_count : setjmp.c
• __esbmc_stream_mode : io.c
• __exp2f_data : exp2f_data.c, exp2f_data.h
• __int64_t : stdio.h
• __logf_data : logf_data.c, logf_data.h
• __signgam : libm.h
• _gaslimit : solidity_blockchain.c, solidity_misc.c