klee_init_env.c

Go to the documentation of this file.

#include "../../runtime/POSIX/klee_init_env.c"
 
int __klee_posix_wrapped_main(int argc, char **argv, char **envp) { return 0; }