diff options
Diffstat (limited to 'src/boost/libs/contract/test/invariant/volatile_permissive.cpp')
-rw-r--r-- | src/boost/libs/contract/test/invariant/volatile_permissive.cpp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/boost/libs/contract/test/invariant/volatile_permissive.cpp b/src/boost/libs/contract/test/invariant/volatile_permissive.cpp new file mode 100644 index 00000000..a3d1b987 --- /dev/null +++ b/src/boost/libs/contract/test/invariant/volatile_permissive.cpp @@ -0,0 +1,13 @@ + +// Copyright (C) 2008-2018 Lorenzo Caminiti +// Distributed under the Boost Software License, Version 1.0 (see accompanying +// file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt). +// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html + +// Test no error if permissive even when non-static inv declared volatile. + +#ifndef BOOST_CONTRACT_PERMISSIVE + #error "build must define PERMISSIVE" +#endif +#include "volatile.hpp" + |