klee_init_env.c « klee-replay « tools - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/tools/klee-replay/klee_init_env.c

blob: b0b6e912394c40b49684c5e7db551a01a366d0ae (plain) (blame)

1
2
3

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

int __klee_posix_wrapped_main(int argc, char **argv, char **envp) { return 0; }