klee
UserSearcher.h
Go to the documentation of this file.
1//===-- UserSearcher.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_USERSEARCHER_H
11#define KLEE_USERSEARCHER_H
12
13namespace klee {
14 class Executor;
15 class Searcher;
16
17 // XXX gross, should be on demand?
19
21
22 Searcher *constructUserSearcher(Executor &executor);
23}
24
25#endif /* KLEE_USERSEARCHER_H */
Definition: main.cpp:291
bool userSearcherRequiresMD2U()
Searcher * constructUserSearcher(Executor &executor)
void initializeSearchOptions()