summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/contract/test/invariant/volatile_permissive.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/contract/test/invariant/volatile_permissive.cpp')
-rw-r--r--src/boost/libs/contract/test/invariant/volatile_permissive.cpp13
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"
+