solidity_address.c File Reference

#include <stddef.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include "solidity_types.h"

Include dependency graph for solidity_address.c:

Functions
unsigned int	nondet_uint ()
	__attribute__ ((annotate("__ESBMC_inf_size")))
bool	_ESBMC_cmp_cname (const char *c_1, const char *c_2)
void *	_ESBMC_get_obj (address_t addr, const char *cname)
void	update_addr_obj (address_t addr, void *obj, const char *cname)
address_t	_ESBMC_get_unique_address (void *obj, const char *cname)
const char *	_ESBMC_get_nondet_cont_name (const char *c_array[], unsigned int len)

Function Documentation

__attribute__()

__attribute__

(

(annotate("__ESBMC_inf_size"))

)

_ESBMC_cmp_cname()

bool _ESBMC_cmp_cname	(	const char *	c_1,
		const char *	c_2 )

_ESBMC_get_nondet_cont_name()

const char * _ESBMC_get_nondet_cont_name	(	const char *	c_array[],
		unsigned int	len )

_ESBMC_get_obj()

void * _ESBMC_get_obj	(	address_t	addr,
		const char *	cname )

_ESBMC_get_unique_address()

address_t _ESBMC_get_unique_address	(	void *	obj,
		const char *	cname )

nondet_uint()

unsigned int nondet_uint

(

)

update_addr_obj()

void update_addr_obj	(	address_t	addr,
		void *	obj,
		const char *	cname )