klee_init_env.c File Reference

#include "../../runtime/POSIX/klee_init_env.c"

Include dependency graph for klee_init_env.c:

Go to the source code of this file.

Functions
int	__klee_posix_wrapped_main (int argc, char **argv, char **envp)

Function Documentation

__klee_posix_wrapped_main()

int __klee_posix_wrapped_main	(	int	argc,
		char **	argv,
		char **	envp
	)

Definition at line 3 of file klee_init_env.c.