klee
Version.h
Go to the documentation of this file.
1//===-- Version.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_VERSION_H
11#define KLEE_VERSION_H
12
13#include "klee/Config/config.h"
14
15#define LLVM_VERSION(major, minor) (((major) << 8) | (minor))
16#define LLVM_VERSION_CODE LLVM_VERSION(LLVM_VERSION_MAJOR, LLVM_VERSION_MINOR)
17
18#endif /* KLEE_VERSION_H */