boost/contract
2
0
Fork 0
mirror of https://github.com/boostorg/contract.git synced 2026-02-27 17:02:15 +00:00
Code Issues Projects Releases Wiki Activity

added oldof test, renamed type to scoped

Browse Source
This commit is contained in:
Lorenzo Caminiti
2015-04-25 22:37:35 -07:00
parent 524d58ac9a
commit 3146d3fa3d
19 changed files with 240 additions and 99 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
test/function/free_function.cpp
View File

@@ -1,7 +1,6 @@
#include "../aux_/oteststream.hpp"
#include <boost/contract/free_function.hpp>
#include <boost/contract/type.hpp>
#include <boost/detail/lightweight_test.hpp>
#include <sstream>
@@ -10,7 +9,7 @@
boost::contract::aux::test::oteststream out;
void f() {
boost::contract::type c = boost::contract::free_function()
auto c = boost::contract::free_function()
.precondition([&] {
out << "f::pre" << std::endl;
})