ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
workaround.hpp
Go to the documentation of this file.
1// Copyright David Abrahams 2002.
2// Distributed under the Boost Software License, Version 1.0. (See
3// accompanying file LICENSE_1_0.txt or copy at
4// http://www.boost.org/LICENSE_1_0.txt)
5#ifndef WORKAROUND_DWA2002126_HPP
6#define WORKAROUND_DWA2002126_HPP
7
8#endif // WORKAROUND_DWA2002126_HPP