about summary refs log tree commit diff homepage
path: root/tools/klee-replay
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2019-11-06 22:02:36 +0000
committerMartinNowack <martin.nowack@gmail.com>2019-11-07 09:20:49 +0000
commit968721e74fb48331af90446419b703a717954fa9 (patch)
tree330482eeb315bd5738601b7ebad2a4aeee354e13 /tools/klee-replay
parent02bd78ec39f04d7617e3b0f249e5d731b9a18666 (diff)
downloadklee-968721e74fb48331af90446419b703a717954fa9.tar.gz
Allow main with 3 arguments
Diffstat (limited to 'tools/klee-replay')
-rw-r--r--tools/klee-replay/klee_init_env.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-replay/klee_init_env.c b/tools/klee-replay/klee_init_env.c
index 5e9dd06c..b0b6e912 100644
--- a/tools/klee-replay/klee_init_env.c
+++ b/tools/klee-replay/klee_init_env.c
@@ -1,3 +1,3 @@
 #include "../../runtime/POSIX/klee_init_env.c"
 
-int __klee_posix_wrapped_main(int argc, char **argv) { return 0; }
+int __klee_posix_wrapped_main(int argc, char **argv, char **envp) { return 0; }