[klee-commits] [1520] Support for klee_silent_exit in replay mode.

[cristic at stanford.edu]

Revision: 1520
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1520
Author:   cristic
Date:     2009-03-30 21:30:34 -0700 (Mon, 30 Mar 2009)
Log Message:
-----------
Support for klee_silent_exit in replay mode.
Perhaps we should have one "klee_replay" archive.

Modified Paths:
--------------
    replay/Makefile

Added Paths:
-----------
    intrinsic/klee_silent_exit.c

Added: intrinsic/klee_silent_exit.c
===================================================================
--- intrinsic/klee_silent_exit.c	                        (rev 0)
+++ intrinsic/klee_silent_exit.c	2009-03-31 04:30:34 UTC (rev 1520)
@@ -0,0 +1,6 @@
+#include <klee/klee.h>
+#include <stdlib.h>
+
+void klee_silent_exit(int status) {
+  exit(status);
+}

Modified: replay/Makefile
===================================================================
--- replay/Makefile	2009-03-20 00:45:02 UTC (rev 1519)
+++ replay/Makefile	2009-03-31 04:30:34 UTC (rev 1520)
@@ -2,7 +2,7 @@
 
 CFLAGS = -O2 -Wall -g
 
-KLEE_ENV_OBJS = ../lib/common/BOut.o ../models/simple/Release/klee_init_env.o ../models/simple/Release/fd_init.o ../intrinsic/Release/klee_make_symbolic.o
+KLEE_ENV_OBJS = ../lib/common/BOut.o ../models/simple/Release/klee_init_env.o ../models/simple/Release/fd_init.o ../intrinsic/Release/klee_make_symbolic.o ../intrinsic/Release/klee_silent_exit.o
 
 SRCS = run-bout.c  file-creator.c
 OBJS = $(SRCS:.c=.o)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090330/2d6d29a8/attachment.html