00001 //===-- UserSearcher.h ------------------------------------------*- C++ -*-===// 00002 // 00003 // The KLEE Symbolic Virtual Machine 00004 // 00005 // This file is distributed under the University of Illinois Open Source 00006 // License. See LICENSE.TXT for details. 00007 // 00008 //===----------------------------------------------------------------------===// 00009 00010 #ifndef KLEE_USERSEARCHER_H 00011 #define KLEE_USERSEARCHER_H 00012 00013 namespace klee { 00014 class Executor; 00015 class Searcher; 00016 00017 // XXX gross, should be on demand? 00018 bool userSearcherRequiresMD2U(); 00019 00020 bool userSearcherRequiresBranchSequences(); 00021 00022 Searcher *constructUserSearcher(Executor &executor); 00023 } 00024 00025 #endif
1.5.8