ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
config.hpp
Go to the documentation of this file.
1// Boost config.hpp configuration header file ------------------------------//
2
3// (C) Copyright John Maddock 2002.
4// Use, modification and distribution are subject to the
5// Boost Software License, Version 1.0. (See accompanying file
6// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7
8// See http://www.boost.org/libs/config for most recent version.
9
10// Boost config.hpp policy and rationale documentation has been moved to
11// http://www.boost.org/libs/config
12//
13// CAUTION: This file is intended to be completely stable -
14// DO NOT MODIFY THIS FILE!
15//
16
17#ifndef BOOST_CONFIG_HPP
18#define BOOST_CONFIG_HPP
19
20#endif // BOOST_CONFIG_HPP