ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
suffix.hpp
Go to the documentation of this file.
1// Boost config.hpp configuration header file ------------------------------//
2
3// Copyright (c) 2001-2003 John Maddock
4// Copyright (c) 2001 Darin Adler
5// Copyright (c) 2001 Peter Dimov
6// Copyright (c) 2002 Bill Kempf
7// Copyright (c) 2002 Jens Maurer
8// Copyright (c) 2002-2003 David Abrahams
9// Copyright (c) 2003 Gennaro Prota
10// Copyright (c) 2003 Eric Friedman
11// Copyright (c) 2010 Eric Jourdanneau, Joel Falcou
12// Distributed under the Boost Software License, Version 1.0. (See
13// accompanying file LICENSE_1_0.txt or copy at
14// http://www.boost.org/LICENSE_1_0.txt)
15
16// See http://www.boost.org/ for most recent version.
17
18// Boost config.hpp policy and rationale documentation has been moved to
19// http://www.boost.org/libs/config/
20//
21// This file is intended to be stable, and relatively unchanging.
22// It should contain boilerplate code only - no compiler specific
23// code unless it is unavoidable - no changes unless unavoidable.
24
25#ifndef BOOST_CONFIG_SUFFIX_HPP
26#define BOOST_CONFIG_SUFFIX_HPP
27
28#endif