about summary refs log tree commit diff homepage
path: root/tools/klee-replay/klee_init_env.c
blob: c697975e1b9cacbddfede7a5b868de82247b43b2 (plain) (blame)
1
2
3
4
#define _LARGEFILE64_SOURCE
#include "../../runtime/POSIX/klee_init_env.c"

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