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
src
cpp
library
boost
config.hpp
Generated by
1.15.0