klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee-replay.h File Reference
#include "../../runtime/POSIX/fd.h"
#include <sys/time.h>
Include dependency graph for klee-replay.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define _LARGEFILE64_SOURCE
 
#define _FILE_OFFSET_BITS   64
 

Functions

void replay_create_files (exe_file_system_t *exe_fs)
 
void process_status (int status, time_t elapsed, const char *pfx) __attribute__((noreturn))
 

Macro Definition Documentation

#define _FILE_OFFSET_BITS   64

Definition at line 14 of file klee-replay.h.

#define _LARGEFILE64_SOURCE

Definition at line 13 of file klee-replay.h.

Function Documentation

void process_status ( int  status,
time_t  elapsed,
const char *  pfx 
)

Definition at line 118 of file klee-replay.c.

References progname.

Referenced by create_char_dev(), create_pipe(), and run_monitored().

Here is the caller graph for this function:

void replay_create_files ( exe_file_system_t *  exe_fs)

Definition at line 418 of file file-creator.c.

References __STDIN, __STDOUT, check_file(), create_file(), and delete_file().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function: