klee
Toggle main menu visibility
Main Page
Related Pages
Namespaces
Namespace List
Namespace Members
All
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
z
Functions
a
c
d
e
f
g
h
i
k
l
m
n
o
p
q
s
t
u
v
w
z
Variables
a
b
c
d
e
f
g
i
k
l
m
n
p
q
r
s
t
u
Typedefs
Enumerations
Enumerator
Classes
Class List
Class Index
Class Hierarchy
Class Members
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
~
Functions
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
x
z
~
Variables
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
q
r
s
t
u
v
w
z
Typedefs
a
b
c
d
e
h
i
k
o
s
t
u
v
w
Enumerations
Enumerator
a
b
c
d
e
f
h
i
k
l
m
n
o
p
q
r
s
t
u
v
x
z
Related Functions
a
c
e
i
k
m
o
r
s
t
u
w
z
Files
File List
File Members
All
_
a
b
c
d
e
f
g
h
i
k
l
m
n
o
p
r
s
t
u
v
w
x
Functions
_
a
b
c
d
e
f
g
h
i
k
l
m
o
p
r
s
t
u
v
w
x
Variables
c
d
e
f
h
i
k
l
m
n
o
p
r
s
t
u
w
Typedefs
Enumerations
Enumerator
Macros
_
a
b
c
d
e
h
i
k
l
m
n
s
t
x
•
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
Pages
KTest.h
Go to the documentation of this file.
1
//===-- KTest.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_KTEST_H
11
#define KLEE_KTEST_H
12
13
#ifdef __cplusplus
14
extern
"C"
{
15
#endif
16
17
typedef
struct
KTestObject
KTestObject
;
18
struct
KTestObject
{
19
char
*
name
;
20
unsigned
numBytes
;
21
unsigned
char
*
bytes
;
22
};
23
24
typedef
struct
KTest
KTest
;
25
struct
KTest
{
26
/* file format version */
27
unsigned
version
;
28
29
unsigned
numArgs
;
30
char
**
args
;
31
32
unsigned
symArgvs
;
33
unsigned
symArgvLen
;
34
35
unsigned
numObjects
;
36
KTestObject
*
objects
;
37
};
38
39
40
/* returns the current .ktest file format version */
41
unsigned
kTest_getCurrentVersion
();
42
43
/* return true iff file at path matches KTest header */
44
int
kTest_isKTestFile
(
const
char
*path);
45
46
/* returns NULL on (unspecified) error */
47
KTest
*
kTest_fromFile
(
const
char
*path);
48
49
/* returns 1 on success, 0 on (unspecified) error */
50
int
kTest_toFile
(
KTest
*,
const
char
*path);
51
52
/* returns total number of object bytes */
53
unsigned
kTest_numBytes
(
KTest
*);
54
55
void
kTest_free
(
KTest
*);
56
57
#ifdef __cplusplus
58
}
59
#endif
60
61
#endif
/* KLEE_KTEST_H */
kTest_free
void kTest_free(KTest *)
Definition:
KTest.cpp:229
kTest_fromFile
KTest * kTest_fromFile(const char *path)
Definition:
KTest.cpp:94
kTest_numBytes
unsigned kTest_numBytes(KTest *)
Definition:
KTest.cpp:222
kTest_toFile
int kTest_toFile(KTest *, const char *path)
Definition:
KTest.cpp:178
kTest_isKTestFile
int kTest_isKTestFile(const char *path)
Definition:
KTest.cpp:82
kTest_getCurrentVersion
unsigned kTest_getCurrentVersion()
Definition:
KTest.cpp:67
KTestObject
Definition:
KTest.h:18
KTestObject::name
char * name
Definition:
KTest.h:19
KTestObject::bytes
unsigned char * bytes
Definition:
KTest.h:21
KTestObject::numBytes
unsigned numBytes
Definition:
KTest.h:20
KTest
Definition:
KTest.h:25
KTest::symArgvLen
unsigned symArgvLen
Definition:
KTest.h:33
KTest::version
unsigned version
Definition:
KTest.h:27
KTest::numObjects
unsigned numObjects
Definition:
KTest.h:35
KTest::objects
KTestObject * objects
Definition:
KTest.h:36
KTest::numArgs
unsigned numArgs
Definition:
KTest.h:29
KTest::symArgvs
unsigned symArgvs
Definition:
KTest.h:32
KTest::args
char ** args
Definition:
KTest.h:30
include
klee
ADT
KTest.h
Generated by
1.9.3