process.c File Reference

Go to the source code of this file.

Functions
__CPROVER_size_t	__VERIFIER_nondet___CPROVER_size_t (void)
__CPROVER_size_t	_beginthread (void(*start_address)(void *), unsigned stack_size, void *arglist)
__CPROVER_size_t	_beginthreadex (void *security, unsigned stack_size, unsigned(*start_address)(void *), void *arglist, unsigned initflag, unsigned *thrdaddr)

Function Documentation

__VERIFIER_nondet___CPROVER_size_t()

__CPROVER_size_t __VERIFIER_nondet___CPROVER_size_t

(

void

)

_beginthread()

__CPROVER_size_t _beginthread	(	void(*	start_address )(void *),
		unsigned	stack_size,
		void *	arglist )

Definition at line 5 of file process.c.

_beginthreadex()

__CPROVER_size_t _beginthreadex	(	void *	security,
		unsigned	stack_size,
		unsigned(*	start_address )(void *),
		void *	arglist,
		unsigned	initflag,
		unsigned *	thrdaddr )

Definition at line 21 of file process.c.