main.cpp File Reference

#include <cfenv>
#include <cstdint>
#include <esbmc/esbmc_parseoptions.h>
#include <esbmc/globals.h>
#include <langapi/mode.h>
#include <exception>
#include <typeinfo>
#include <irep2/irep2.h>
#include <util/config/config.h>
#include <util/message/message.h>
#include <pthread.h>

Include dependency graph for main.cpp:

Functions
static const char *	current_exception_name ()
static int	run_esbmc (int argc, const char **argv)
static void *	run_main (void *arg)
int	main (int argc, const char **argv)

Variables
static const size_t	esbmc_stack_size = 512UL * 1024 * 1024

Function Documentation

current_exception_name()

const char * current_exception_name ( )

static

main()

int main	(	int	argc,
		const char **	argv )

run_esbmc()

int run_esbmc ( int argc, const char ** argv )

static

run_main()

void * run_main ( void * arg )

static

Variable Documentation

esbmc_stack_size

const size_t esbmc_stack_size = 512UL * 1024 * 1024

static