klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Common.h File Reference
#include <stdio.h>
Include dependency graph for Common.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 klee
 

Functions

void klee::klee_error (const char *msg,...) __attribute__((format(printf
 
void klee::klee_message (const char *msg,...) __attribute__((format(printf
 
void void klee::klee_message_to_file (const char *msg,...) __attribute__((format(printf
 
void void void klee::klee_warning (const char *msg,...) __attribute__((format(printf
 
void void void void klee::klee_warning_once (const void *id, const char *msg,...) __attribute__((format(printf
 

Variables

FILE * klee::klee_warning_file = NULL
 
FILE * klee::klee_message_file = NULL
 
void klee::noreturn