1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
//===-- Common.h ------------------------------------------------*- C++ -*-===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#ifndef __KLEE_COMMON_H__
#define __KLEE_COMMON_H__
#ifdef __CYGWIN__
#ifndef WINDOWS
#define WINDOWS
#endif
#endif
#include <stdio.h>
// XXX ugh
namespace klee {
class Solver;
extern FILE* klee_warning_file;
extern FILE* klee_message_file;
/// Print "KLEE: ERROR" followed by the msg in printf format and a
/// newline on stderr and to warnings.txt, then exit with an error.
void klee_error(const char *msg, ...)
__attribute__ ((format (printf, 1, 2), noreturn));
/// Print "KLEE: " followed by the msg in printf format and a
/// newline on stderr and to messages.txt.
void klee_message(const char *msg, ...)
__attribute__ ((format (printf, 1, 2)));
/// Print "KLEE: " followed by the msg in printf format and a
/// newline to messages.txt.
void klee_message_to_file(const char *msg, ...)
__attribute__ ((format (printf, 1, 2)));
/// Print "KLEE: WARNING" followed by the msg in printf format and a
/// newline on stderr and to warnings.txt.
void klee_warning(const char *msg, ...)
__attribute__ ((format (printf, 1, 2)));
/// Print "KLEE: WARNING" followed by the msg in printf format and a
/// newline on stderr and to warnings.txt. However, the warning is only
/// printed once for each unique (id, msg) pair (as pointers).
void klee_warning_once(const void *id,
const char *msg, ...)
__attribute__ ((format (printf, 2, 3)));
}
#endif /* __KLEE_COMMON_H__ */
|
