klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee-replay.h
Go to the documentation of this file.
1 //===-- klee-replay.h ------------------------------------------*- C++ -*--===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef __KLEE_REPLAY_H__
11 #define __KLEE_REPLAY_H__
12 
13 #define _LARGEFILE64_SOURCE
14 #define _FILE_OFFSET_BITS 64
15 
16 // FIXME: This is a hack.
17 #include "../../runtime/POSIX/fd.h"
18 #include <sys/time.h>
19 
20 void replay_create_files(exe_file_system_t *exe_fs);
21 
22 void process_status(int status,
23  time_t elapsed,
24  const char *pfx)
26 
27 #endif
28 
void process_status(int status, time_t elapsed, const char *pfx) __attribute__((noreturn))
Definition: klee-replay.c:118
void *__dso_handle __attribute__((__weak__))
void replay_create_files(exe_file_system_t *exe_fs)
Definition: file-creator.c:418
void noreturn
Definition: Common.h:31