klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Common.cpp File Reference
#include "Common.h"
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include <assert.h>
#include <string.h>
#include <set>
Include dependency graph for Common.cpp:

Go to the source code of this file.

Functions

static void klee_vfmessage (FILE *fp, const char *pfx, const char *msg, va_list ap)
 
static void klee_vmessage (const char *pfx, bool onlyToFile, const char *msg, va_list ap)
 

Function Documentation

static void klee_vfmessage ( FILE *  fp,
const char *  pfx,
const char *  msg,
va_list  ap 
)
static

Definition at line 25 of file Common.cpp.

Referenced by klee_vmessage().

Here is the caller graph for this function:

static void klee_vmessage ( const char *  pfx,
bool  onlyToFile,
const char *  msg,
va_list  ap 
)
static

Definition at line 45 of file Common.cpp.

References klee::klee_message_file, klee_vfmessage(), and klee::klee_warning_file.

Referenced by klee::klee_error(), klee::klee_message(), klee::klee_message_to_file(), klee::klee_warning(), and klee::klee_warning_once().

Here is the call graph for this function:

Here is the caller graph for this function: