OptionCategories.h

Go to the documentation of this file.

//===-- OptionCategories.h --------------------------------------*- C++ -*-===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
 
/*
 * This header defines the option categories used in KLEE.
 */
 
#ifndef KLEE_OPTIONCATEGORIES_H
#define KLEE_OPTIONCATEGORIES_H
 
#include "llvm/Support/CommandLine.h"
 
namespace klee {
  extern llvm::cl::OptionCategory DebugCat;
  extern llvm::cl::OptionCategory MergeCat;
  extern llvm::cl::OptionCategory MiscCat;
  extern llvm::cl::OptionCategory ModuleCat;
  extern llvm::cl::OptionCategory SeedingCat;
  extern llvm::cl::OptionCategory SolvingCat;
  extern llvm::cl::OptionCategory TerminationCat;
  extern llvm::cl::OptionCategory TestGenCat;
}
 
#endif /* KLEE_OPTIONCATEGORIES_H */