diff --git a/Jamroot b/Jamroot
index d6f068a..11b1d18 100644
--- a/Jamroot
+++ b/Jamroot
@@ -1,4 +1,9 @@
 
+# Copyright (C) 2008-2016 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
+
 import testing ;
 import os ;
 import feature ;
diff --git a/README.txt b/README.txt
index cd3132f..9616c05 100644
--- a/README.txt
+++ b/README.txt
@@ -1,29 +1,15 @@
+Boost.Contract
 
-Contract++
+This library implements Contract Programming (a.k.a., Design by Contract or DbC)
+for the C++ programming language.
 
-Contract Programming Library for C++
-
-DESCRIPTION
-
-C++ Contract Programming (a.k.a. Design by Contract or DbC).
-All Eiffel features supported: subcontracting, postcondition old and result
-values, optional contract compilation, customizable action on assertion
-failure, block invariants, loop variants, etc.
-Plus virtual specifiers, concept checking, named parameters.
-See: http://contractpp.sourceforge.net
-
-FEATURES
-
-* Support for preconditions, postconditions, class invariants, block
-  invariants, and loop variants.
-* Subcontract derived classes (with support for pure virtual functions and
-  multiple inheritance).
-* Access expression old values and function return value in postconditions.
-* Optional compilation and checking of preconditions, postconditions, class
-  invariants, block invariants, and loop variants.
-* Customizable actions on contract assertion failure (terminate by default but
-  it can throw, exit, etc).
-* Virtual specifiers.
-* Concept checking.
-* Named parameters.
+All Contract Programming features are supported by this library: subcontracting,
+class invariants, postconditions (with old and return values), preconditions,
+customizable actions on assertion failure (terminate, throw, etc.), optional
+compilation of assertion checking, disable assertion checking while already
+checking other assertions (to avoid infinite recursion), etc.
 
+Copyright (C) 2008-2016 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
diff --git a/build/Jamfile.v2 b/build/Jamfile.v2
index 6ed2188..9051a0b 100644
--- a/build/Jamfile.v2
+++ b/build/Jamfile.v2
@@ -1,4 +1,9 @@
 
+# Copyright (C) 2008-2016 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
+
 lib boost_contract : ../src/contract.cpp :
         <link>shared:<define>BOOST_CONTRACT_DYN_LINK ;
 
diff --git a/doc/Jamfile.v2 b/doc/Jamfile.v2
index 30b5fea..32741ee 100644
--- a/doc/Jamfile.v2
+++ b/doc/Jamfile.v2
@@ -1,4 +1,9 @@
 
+# Copyright (C) 2008-2016 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
+
 import quickbook ;
 using boostbook ;
 
@@ -23,7 +28,7 @@ doxygen reference
     ../include/boost/contract.hpp
 :   
     <reftitle>"Reference"
-    # But Quickbook's Doxygen does not show destructor exception specs.
+    # Quickbook's Doxygen does not show destructor exception specs.
     <doxygen:param>PREDEFINED="DOXYGEN BOOST_PP_VARIADICS"
     <doxygen:param>MACRO_EXPANSION=YES
     <doxygen:param>INCLUDE_PATH="../include"
@@ -36,7 +41,7 @@ doxygen reference
     <doxygen:param>HIDE_UNDOC_MEMBERS=YES
     <doxygen:param>HIDE_UNDOC_CLASSES=YES
     <doxygen:param>SHORT_NAMES=NO
-    <doxygen:param>ALIASES=" Params=\"<b>Parameters:</b> <table border="0">\" Param{2}=\"<tr><td><b><tt>\\1</tt></b></td><td>\\2</td></tr>\" EndParams=\"</table>\" Returns=\"<b>Returns:</b>\" Note=\"<b>Note:</b>\" Warning=\"<b>Warning:</b>\" SeeAlso=\"<b>See also:</b>\" RefSect{2}=\"\\xmlonly<link linkend='boost_contract.\\1'>\\2</link>\\endxmlonly\" RefClass{1}=\"\\xmlonly<computeroutput><classname alt='\\1'>\\1</classname></computeroutput>\\endxmlonly\" RefFunc{1}=\"\\xmlonly<computeroutput><functionname alt='\\1'>\\1</functionname></computeroutput>\\endxmlonly\" RefMacro{1}=\"\\xmlonly<computeroutput><macroname alt='\\1'>\\1</macroname></computeroutput>\\endxmlonly\" RefEnum{1}=\"\\xmlonly<computeroutput><enumname alt='\\1'>\\1</enumname></computeroutput>\\endxmlonly\" "
+    <doxygen:param>ALIASES=" RefSect{2}=\"\\xmlonly<link linkend='boost_contract.\\1'>\\2</link>\\endxmlonly\" RefClass{1}=\"\\xmlonly<computeroutput><classname alt='\\1'>\\1</classname></computeroutput>\\endxmlonly\" RefFunc{1}=\"\\xmlonly<computeroutput><functionname alt='\\1'>\\1</functionname></computeroutput>\\endxmlonly\" RefMacro{1}=\"\\xmlonly<computeroutput><macroname alt='\\1'>\\1</macroname></computeroutput>\\endxmlonly\" RefEnum{1}=\"\\xmlonly<computeroutput><enumname alt='\\1'>\\1</enumname></computeroutput>\\endxmlonly\" "
 ;
 
 xml contract : contract.qbk : <dependency>reference ;
diff --git a/doc/acknowledgments.qbk b/doc/acknowledgments.qbk
index 042abc2..5ecc55b 100644
--- a/doc/acknowledgments.qbk
+++ b/doc/acknowledgments.qbk
@@ -1,9 +1,8 @@
 
-[/ Copyright (C) 2008-2012 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) ]
-[/ Home at http://sourceforge.net/projects/contractpp ]
+[/ Copyright (C) 2008-2016 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]
 
 [section Acknowledgments]
 
diff --git a/doc/advanced_topics.qbk b/doc/advanced_topics.qbk
index 0b65508..13fdfb7 100644
--- a/doc/advanced_topics.qbk
+++ b/doc/advanced_topics.qbk
@@ -1,4 +1,9 @@
 
+[/ Copyright (C) 2008-2016 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]
+
 [section Advanced Topics]
 
 This section illustrates more advanced uses of this library.
diff --git a/doc/bibliography.qbk b/doc/bibliography.qbk
index 5961a7d..415fe88 100644
--- a/doc/bibliography.qbk
+++ b/doc/bibliography.qbk
@@ -1,9 +1,8 @@
 
-[/ Copyright (C) 2008-2012 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) ]
-[/ Home at http://sourceforge.net/projects/contractpp ]
+[/ Copyright (C) 2008-2016 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]
 
 [section Bibliography]
 
diff --git a/doc/contract.qbk b/doc/contract.qbk
index 85f5d43..3a9a485 100644
--- a/doc/contract.qbk
+++ b/doc/contract.qbk
@@ -1,4 +1,9 @@
 
+[/ Copyright (C) 2008-2016 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]
+
 [library Boost.Contract
     [quickbook 1.5]
     [version 1.0]
diff --git a/doc/contract_programming_overview.qbk b/doc/contract_programming_overview.qbk
index 5059127..7c82369 100644
--- a/doc/contract_programming_overview.qbk
+++ b/doc/contract_programming_overview.qbk
@@ -1,4 +1,9 @@
 
+[/ Copyright (C) 2008-2016 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]
+
 [section Contract Programming Overview]
 
 [:['["It is absurd to make elaborate security checks on debugging runs, when no trust is put in the results, and then remove them in production runs, when an erroneous result could be expensive or disastrous. What would we think of a sailing enthusiast who wears his life-jacket when training on dry land but takes it off as soon as he goes to sea?]]]
diff --git a/doc/examples.qbk b/doc/examples.qbk
index 6b79f3c..32b5fe7 100644
--- a/doc/examples.qbk
+++ b/doc/examples.qbk
@@ -1,4 +1,9 @@
 
+[/ Copyright (C) 2008-2016 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]
+
 [section Examples]
 
 This section lists examples taken from different Contract Programming sources and re-implemented using this library.
diff --git a/doc/getting_started.qbk b/doc/getting_started.qbk
index 28c6c3c..d89c1cb 100644
--- a/doc/getting_started.qbk
+++ b/doc/getting_started.qbk
@@ -1,9 +1,8 @@
 
-[/ Copyright (C) 2008-2012 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) ]
-[/ Home at http://sourceforge.net/projects/contractpp ]
+[/ Copyright (C) 2008-2016 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]
 
 [section Getting Started]
 
diff --git a/doc/introduction.qbk b/doc/introduction.qbk
index edf0b5e..33a4662 100644
--- a/doc/introduction.qbk
+++ b/doc/introduction.qbk
@@ -1,9 +1,8 @@
 
-[/ Copyright (C) 2008-2012 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) ]
-[/ Home at http://sourceforge.net/projects/contractpp ]
+[/ Copyright (C) 2008-2016 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]
 
 [section Introduction]
 
diff --git a/doc/release_notes.qbk b/doc/release_notes.qbk
index b9402ea..7f6f06e 100644
--- a/doc/release_notes.qbk
+++ b/doc/release_notes.qbk
@@ -1,9 +1,8 @@
 
-[/ Copyright (C) 2008-2012 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) ]
-[/ Home at http://sourceforge.net/projects/contractpp ]
+[/ Copyright (C) 2008-2016 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]
 
 [section Release Notes]
 
diff --git a/doc/tutorial.qbk b/doc/tutorial.qbk
index 12ad26d..31d3879 100644
--- a/doc/tutorial.qbk
+++ b/doc/tutorial.qbk
@@ -1,4 +1,9 @@
 
+[/ Copyright (C) 2008-2016 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]
+
 [section Tutorial]
 
 This section illustrates basic uses of this library.
diff --git a/example/Jamfile.v2 b/example/Jamfile.v2
index f6c6612..dd682e4 100644
--- a/example/Jamfile.v2
+++ b/example/Jamfile.v2
@@ -1,4 +1,9 @@
 
+# Copyright (C) 2008-2016 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
+
 subdir-usage ;
 
 test-suite features :
diff --git a/example/cline90/calendar.cpp b/example/cline90/calendar.cpp
index e5a20e2..ca17a88 100644
--- a/example/cline90/calendar.cpp
+++ b/example/cline90/calendar.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_calendar
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/cline90/stack.cpp b/example/cline90/stack.cpp
index cc4288f..25ac821 100644
--- a/example/cline90/stack.cpp
+++ b/example/cline90/stack.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_stack
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/cline90/vector.hpp b/example/cline90/vector.hpp
index 028d28c..b5497bb 100644
--- a/example/cline90/vector.hpp
+++ b/example/cline90/vector.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_vector
 #ifndef VECTOR_HPP_
 #define VECTOR_HPP_
diff --git a/example/cline90/vector_axx.hpp b/example/cline90/vector_axx.hpp
index d893d04..4fc8e8f 100644
--- a/example/cline90/vector_axx.hpp
+++ b/example/cline90/vector_axx.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_vector_axx
 // Extra spaces, newlines, etc. for visual alignment with this library code.
 
diff --git a/example/cline90/vector_main.cpp b/example/cline90/vector_main.cpp
index 0778b0e..6facd7f 100644
--- a/example/cline90/vector_main.cpp
+++ b/example/cline90/vector_main.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_vector_main
 #include "vector.hpp"
 #include <cassert>
diff --git a/example/cline90/vstack.cpp b/example/cline90/vstack.cpp
index ae863a5..7b286e7 100644
--- a/example/cline90/vstack.cpp
+++ b/example/cline90/vstack.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[cline90_vstack
 #include "vector.hpp"
 #include <boost/contract.hpp>
diff --git a/example/features/access.cpp b/example/features/access.cpp
index dc98cd3..2e0b2b8 100644
--- a/example/features/access.cpp
+++ b/example/features/access.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <vector>
 #include <cassert>
diff --git a/example/features/base_types.cpp b/example/features/base_types.cpp
index a6fedf8..464d0d7 100644
--- a/example/features/base_types.cpp
+++ b/example/features/base_types.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/features/base_types_no_macros.cpp b/example/features/base_types_no_macros.cpp
index 716e65a..8ad90f5 100644
--- a/example/features/base_types_no_macros.cpp
+++ b/example/features/base_types_no_macros.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/features/check_if.cpp b/example/features/check_if.cpp
index 54b43cd..228f388 100644
--- a/example/features/check_if.cpp
+++ b/example/features/check_if.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/type_traits/has_equal_to.hpp>
 #include <boost/bind.hpp>
diff --git a/example/features/function.cpp b/example/features/function.cpp
index 0d182e0..4d444b6 100644
--- a/example/features/function.cpp
+++ b/example/features/function.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <limits>
 #include <cassert>
 
diff --git a/example/features/function_comments.cpp b/example/features/function_comments.cpp
index 34f11f1..4ca541a 100644
--- a/example/features/function_comments.cpp
+++ b/example/features/function_comments.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <limits>
 #include <cassert>
 
diff --git a/example/features/ifdef.cpp b/example/features/ifdef.cpp
index 1736f32..ad5412c 100644
--- a/example/features/ifdef.cpp
+++ b/example/features/ifdef.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <vector>
 #include <limits>
 #include <cassert>
diff --git a/example/features/introduction.cpp b/example/features/introduction.cpp
index 412e73a..8ac9859 100644
--- a/example/features/introduction.cpp
+++ b/example/features/introduction.cpp
@@ -1,8 +1,8 @@
 
-// Copyright (C) 2008-2015 Lorenzo Caminiti
+// Copyright (C) 2008-2016 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).
-// Home at http://www.boost.org/libs/contract
+// See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
 
 #include <cassert>
 
diff --git a/example/features/move.cpp b/example/features/move.cpp
index a31d63d..4ad93ed 100644
--- a/example/features/move.cpp
+++ b/example/features/move.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <vector>
 #include <utility>
diff --git a/example/features/named_override.cpp b/example/features/named_override.cpp
index 360a30b..663e1d5 100644
--- a/example/features/named_override.cpp
+++ b/example/features/named_override.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/optional.hpp>
 #include <cassert>
diff --git a/example/features/no_lambdas.cpp b/example/features/no_lambdas.cpp
index 1f7a839..8e8efaa 100644
--- a/example/features/no_lambdas.cpp
+++ b/example/features/no_lambdas.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include "no_lambdas.hpp"
 #include <boost/bind.hpp>
 #include <cassert>
diff --git a/example/features/no_lambdas.hpp b/example/features/no_lambdas.hpp
index 2c37a30..bb381c1 100644
--- a/example/features/no_lambdas.hpp
+++ b/example/features/no_lambdas.hpp
@@ -2,6 +2,11 @@
 #ifndef NO_LAMBDAS_HPP_
 #define NO_LAMBDAS_HPP_
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 
 //[no_lambdas_hpp
diff --git a/example/features/no_lambdas_local_func.cpp b/example/features/no_lambdas_local_func.cpp
index ebd1e4c..68ae957 100644
--- a/example/features/no_lambdas_local_func.cpp
+++ b/example/features/no_lambdas_local_func.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/bind.hpp>
 #include <cassert>
diff --git a/example/features/old.cpp b/example/features/old.cpp
index eda6f87..32cf9e0 100644
--- a/example/features/old.cpp
+++ b/example/features/old.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <string>
 #include <cstddef>
diff --git a/example/features/old_no_macros.cpp b/example/features/old_no_macros.cpp
index cd31b15..5bd4d7e 100644
--- a/example/features/old_no_macros.cpp
+++ b/example/features/old_no_macros.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 #include <vector>
diff --git a/example/features/old_noncopyable.cpp b/example/features/old_noncopyable.cpp
index 2d073fe..9bdcb4b 100644
--- a/example/features/old_noncopyable.cpp
+++ b/example/features/old_noncopyable.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/features/optional_result.cpp b/example/features/optional_result.cpp
index d95686f..5dfee1e 100644
--- a/example/features/optional_result.cpp
+++ b/example/features/optional_result.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/optional.hpp>
 #include <cassert>
diff --git a/example/features/overload.cpp b/example/features/overload.cpp
index 48522e1..bc497d7 100644
--- a/example/features/overload.cpp
+++ b/example/features/overload.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <string>
 #include <sstream>
diff --git a/example/features/private_protected.cpp b/example/features/private_protected.cpp
index 4e90fd6..69495a0 100644
--- a/example/features/private_protected.cpp
+++ b/example/features/private_protected.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <limits>
 #include <cassert>
diff --git a/example/features/public.cpp b/example/features/public.cpp
index 6e9dea9..8513d91 100644
--- a/example/features/public.cpp
+++ b/example/features/public.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/features/pure_virtual_public.cpp b/example/features/pure_virtual_public.cpp
index abfa5f5..5903c8f 100644
--- a/example/features/pure_virtual_public.cpp
+++ b/example/features/pure_virtual_public.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/optional.hpp>
 #include <cassert>
diff --git a/example/features/separate_body.cpp b/example/features/separate_body.cpp
index 85c3283..2dc900a 100644
--- a/example/features/separate_body.cpp
+++ b/example/features/separate_body.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include "separate_body.hpp"
 #include <cassert>
 
diff --git a/example/features/separate_body.hpp b/example/features/separate_body.hpp
index da28e68..a679005 100644
--- a/example/features/separate_body.hpp
+++ b/example/features/separate_body.hpp
@@ -2,6 +2,11 @@
 #ifndef SEPARATE_BODY_HPP_
 #define SEPARATE_BODY_HPP_
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 
 //[separate_body_hpp
diff --git a/example/features/static_public.cpp b/example/features/static_public.cpp
index c661165..28462a6 100644
--- a/example/features/static_public.cpp
+++ b/example/features/static_public.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/features/throw_on_failure.cpp b/example/features/throw_on_failure.cpp
index 54fbc37..c5c315a 100644
--- a/example/features/throw_on_failure.cpp
+++ b/example/features/throw_on_failure.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <iostream>
 #include <cstring>
diff --git a/example/features/union.cpp b/example/features/union.cpp
index 5c04ed6..318c402 100644
--- a/example/features/union.cpp
+++ b/example/features/union.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <boost/config.hpp>
 #include <cassert>
diff --git a/example/features/volatile.cpp b/example/features/volatile.cpp
index 3173689..6b222ef 100644
--- a/example/features/volatile.cpp
+++ b/example/features/volatile.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/contract.hpp>
 #include <cassert>
 
diff --git a/example/meyer97/stack3.cpp b/example/meyer97/stack3.cpp
index 3bf8bde..c608a90 100644
--- a/example/meyer97/stack3.cpp
+++ b/example/meyer97/stack3.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[meyer97_stack3
 // File: stack3.cpp
 #include "stack4.hpp"
diff --git a/example/meyer97/stack4.hpp b/example/meyer97/stack4.hpp
index 19790b1..4234d19 100644
--- a/example/meyer97/stack4.hpp
+++ b/example/meyer97/stack4.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[meyer97_stack4
 // File: stack4.hpp
 #ifndef STACK4_HPP_
diff --git a/example/meyer97/stack4_main.cpp b/example/meyer97/stack4_main.cpp
index 41ae023..e673049 100644
--- a/example/meyer97/stack4_main.cpp
+++ b/example/meyer97/stack4_main.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[meyer97_stack4_main
 #include "stack4.hpp"
 #include <cassert>
diff --git a/example/mitchell02/counter/counter.hpp b/example/mitchell02/counter/counter.hpp
index ca0f9d3..91826b6 100644
--- a/example/mitchell02/counter/counter.hpp
+++ b/example/mitchell02/counter/counter.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_counter
 #ifndef COUNTER_HPP_
 #define COUNTER_HPP_
diff --git a/example/mitchell02/counter/decrement_button.hpp b/example/mitchell02/counter/decrement_button.hpp
index 7d398c5..b82887e 100644
--- a/example/mitchell02/counter/decrement_button.hpp
+++ b/example/mitchell02/counter/decrement_button.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_decrement_button
 #ifndef DECREMENT_BUTTON_HPP_
 #define DECREMENT_BUTTON_HPP_
diff --git a/example/mitchell02/counter/push_button.hpp b/example/mitchell02/counter/push_button.hpp
index ee86b49..ea580f4 100644
--- a/example/mitchell02/counter/push_button.hpp
+++ b/example/mitchell02/counter/push_button.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_push_button
 #ifndef PUSH_BUTTON_HPP_
 #define PUSH_BUTTON_HPP_
diff --git a/example/mitchell02/counter_main.cpp b/example/mitchell02/counter_main.cpp
index eca356c..a621076 100644
--- a/example/mitchell02/counter_main.cpp
+++ b/example/mitchell02/counter_main.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_counter_main
 #include "counter/counter.hpp"
 #include "counter/decrement_button.hpp"
diff --git a/example/mitchell02/courier.cpp b/example/mitchell02/courier.cpp
index 9bea576..e435cf8 100644
--- a/example/mitchell02/courier.cpp
+++ b/example/mitchell02/courier.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_courier
 #include <boost/contract.hpp>
 #include <string>
diff --git a/example/mitchell02/customer_manager.cpp b/example/mitchell02/customer_manager.cpp
index f40268a..b4610f8 100644
--- a/example/mitchell02/customer_manager.cpp
+++ b/example/mitchell02/customer_manager.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_customer_manager
 #include <boost/contract.hpp>
 #include <string>
diff --git a/example/mitchell02/dictionary.cpp b/example/mitchell02/dictionary.cpp
index 64c36ab..5f16712 100644
--- a/example/mitchell02/dictionary.cpp
+++ b/example/mitchell02/dictionary.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_dictionary
 #include <boost/contract.hpp>
 #include <utility>
diff --git a/example/mitchell02/name_list.cpp b/example/mitchell02/name_list.cpp
index 1a3ba90..cb38603 100644
--- a/example/mitchell02/name_list.cpp
+++ b/example/mitchell02/name_list.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_name_list
 #include <boost/contract.hpp>
 #include <string>
diff --git a/example/mitchell02/observer/observer.hpp b/example/mitchell02/observer/observer.hpp
index 4cdaefa..b01d7ef 100644
--- a/example/mitchell02/observer/observer.hpp
+++ b/example/mitchell02/observer/observer.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_observer
 #ifndef OBSERVER_HPP_
 #define OBSERVER_HPP_
diff --git a/example/mitchell02/observer/subject.hpp b/example/mitchell02/observer/subject.hpp
index 1fb76fd..b74499d 100644
--- a/example/mitchell02/observer/subject.hpp
+++ b/example/mitchell02/observer/subject.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_subject
 #ifndef SUBJECT_HPP_
 #define SUBJECT_HPP_
diff --git a/example/mitchell02/observer_main.cpp b/example/mitchell02/observer_main.cpp
index 2478819..0f5c21e 100644
--- a/example/mitchell02/observer_main.cpp
+++ b/example/mitchell02/observer_main.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_observer_main
 #include "observer/observer.hpp"
 #include "observer/subject.hpp"
diff --git a/example/mitchell02/simple_queue.cpp b/example/mitchell02/simple_queue.cpp
index 77b70de..203112d 100644
--- a/example/mitchell02/simple_queue.cpp
+++ b/example/mitchell02/simple_queue.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_simple_queue
 #include <boost/contract.hpp>
 #include <boost/optional.hpp>
diff --git a/example/mitchell02/stack.cpp b/example/mitchell02/stack.cpp
index 257f290..f3faad1 100644
--- a/example/mitchell02/stack.cpp
+++ b/example/mitchell02/stack.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[mitchell02_stack
 #include <boost/contract.hpp>
 #include <boost/optional.hpp>
diff --git a/example/n1962/circle.cpp b/example/n1962/circle.cpp
index c3805e4..8ff8434 100644
--- a/example/n1962/circle.cpp
+++ b/example/n1962/circle.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_circle
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/n1962/equal.cpp b/example/n1962/equal.cpp
index e3626b4..80a9493 100644
--- a/example/n1962/equal.cpp
+++ b/example/n1962/equal.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_equal
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/n1962/factorial.cpp b/example/n1962/factorial.cpp
index 84c85f0..fc8995d 100644
--- a/example/n1962/factorial.cpp
+++ b/example/n1962/factorial.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_factorial
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/n1962/sqrt.cpp b/example/n1962/sqrt.cpp
index 6724eed..fad1c44 100644
--- a/example/n1962/sqrt.cpp
+++ b/example/n1962/sqrt.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_sqrt
 #include <boost/contract.hpp>
 #include <cmath>
diff --git a/example/n1962/sum.cpp b/example/n1962/sum.cpp
index 8ce5958..921c350 100644
--- a/example/n1962/sum.cpp
+++ b/example/n1962/sum.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_sum
 #include <boost/contract.hpp>
 #include <cassert>
diff --git a/example/n1962/vector.cpp b/example/n1962/vector.cpp
index c27aa85..49ce9f9 100644
--- a/example/n1962/vector.cpp
+++ b/example/n1962/vector.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_vector
 #include <boost/contract.hpp>
 #include <boost/bind.hpp>
diff --git a/example/n1962/vector_n1962.hpp b/example/n1962/vector_n1962.hpp
index eaca2d5..6705eca 100644
--- a/example/n1962/vector_n1962.hpp
+++ b/example/n1962/vector_n1962.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 //[n1962_vector_n1962
 // Extra spaces, newlines, etc. for visual alignment with this library code.
 
diff --git a/include/boost/contract.hpp b/include/boost/contract.hpp
index b56ca51..23e6dc8 100644
--- a/include/boost/contract.hpp
+++ b/include/boost/contract.hpp
@@ -37,8 +37,6 @@ never be used directly by programmers.
 #include <boost/contract/override.hpp>
 #include <boost/contract/public_function.hpp>
 
-// TODO: Add all copyright and licencing info (to all files, etc.).
-
 // TODO: Document that the correct way of programming contracts for overridden protected and overriding public functions is as follows: Both must use virtual_ (otherwise C++ won't override because mismatching parameters), but overridden protected does not use public_function. See test/public_function/protected.cpp.
 
 #endif // #include guard
diff --git a/include/boost/contract/detail/always_true.hpp b/include/boost/contract/detail/always_true.hpp
index 45c0e8a..e2e4556 100644
--- a/include/boost/contract/detail/always_true.hpp
+++ b/include/boost/contract/detail/always_true.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_DETAIL_ALWAYS_TRUE_HPP_
 #define BOOST_CONTRACT_DETAIL_ALWAYS_TRUE_HPP_
 
+// Copyright (C) 2008-2016 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
+
 namespace boost { namespace contract { namespace detail {
 
 struct always_true {
diff --git a/test/Jamfile.v2 b/test/Jamfile.v2
index 8249dd6..8f2778b 100644
--- a/test/Jamfile.v2
+++ b/test/Jamfile.v2
@@ -1,4 +1,9 @@
 
+# Copyright (C) 2008-2016 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
+
 subdir-usage ;
 
 test-suite constructor
diff --git a/test/call_if/advance_cxx14.cpp b/test/call_if/advance_cxx14.cpp
index 6c806fb..60aea4e 100644
--- a/test/call_if/advance_cxx14.cpp
+++ b/test/call_if/advance_cxx14.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 possible impl. advance() in single function with C++14 generic lambdas.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/check_if.cpp b/test/call_if/check_if.cpp
index 9420265..698650f 100644
--- a/test/call_if/check_if.cpp
+++ b/test/call_if/check_if.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 assertions skipped when operations to check them missing (e.g., `==`).
 
 #include <boost/contract/function.hpp>
diff --git a/test/call_if/equal_to.cpp b/test/call_if/equal_to.cpp
index 8fa94dc..f154c02 100644
--- a/test/call_if/equal_to.cpp
+++ b/test/call_if/equal_to.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 STL equal_to with call_if.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/equal_to_cxx14.cpp b/test/call_if/equal_to_cxx14.cpp
index e31fd91..cc78452 100644
--- a/test/call_if/equal_to_cxx14.cpp
+++ b/test/call_if/equal_to_cxx14.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 call_if equality check with C++14 generic lambdas.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/false_.cpp b/test/call_if/false_.cpp
index 50cb0d5..1904afc 100644
--- a/test/call_if/false_.cpp
+++ b/test/call_if/false_.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 call_if with false condition and non-void result type.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/false_void.cpp b/test/call_if/false_void.cpp
index a3e7a39..00ab41b 100644
--- a/test/call_if/false_void.cpp
+++ b/test/call_if/false_void.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 call_if with false condition and void result type.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/no_check_if_error.cpp b/test/call_if/no_check_if_error.cpp
index b3431e3..40dacd8 100644
--- a/test/call_if/no_check_if_error.cpp
+++ b/test/call_if/no_check_if_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 assertion error when operations to check them missing (e.g., `==`).
 
 #include <boost/contract/function.hpp>
diff --git a/test/call_if/true_.cpp b/test/call_if/true_.cpp
index 86e8276..c83b15f 100644
--- a/test/call_if/true_.cpp
+++ b/test/call_if/true_.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 call_if with true condition and non-void result type.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/call_if/true_void.cpp b/test/call_if/true_void.cpp
index 3677713..1ae6390 100644
--- a/test/call_if/true_void.cpp
+++ b/test/call_if/true_void.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 call_if with true condition and void result type.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/access.cpp b/test/constructor/access.cpp
index 5a8a60e..ce20242 100644
--- a/test/constructor/access.cpp
+++ b/test/constructor/access.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 making all contract extra declarations (base types, inv, etc.) private.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/body_throw.cpp b/test/constructor/body_throw.cpp
index cf144b9..8434d15 100644
--- a/test/constructor/body_throw.cpp
+++ b/test/constructor/body_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw form constructor body (in middle branch of inheritance tree).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/contracts.cpp b/test/constructor/contracts.cpp
index 74503d8..65e02ae 100644
--- a/test/constructor/contracts.cpp
+++ b/test/constructor/contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 constructor subcontracting.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/decl.hpp b/test/constructor/decl.hpp
index 852b9b5..b4b12fc 100644
--- a/test/constructor/decl.hpp
+++ b/test/constructor/decl.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_CONSTRUCTOR_DECL_HPP_
 #define BOOST_CONTRACT_TEST_CONSTRUCTOR_DECL_HPP_
 
+// Copyright (C) 2008-2016 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 with and without pre, post, and inv declarations.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/decl_entry_static_inv_all.cpp b/test/constructor/decl_entry_static_inv_all.cpp
index 6b46928..30a744c 100644
--- a/test/constructor/decl_entry_static_inv_all.cpp
+++ b/test/constructor/decl_entry_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with entry static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_entry_static_inv_ends.cpp b/test/constructor/decl_entry_static_inv_ends.cpp
index b919e2a..c072147 100644
--- a/test/constructor/decl_entry_static_inv_ends.cpp
+++ b/test/constructor/decl_entry_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with entry static inv.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_entry_static_inv_mid.cpp b/test/constructor/decl_entry_static_inv_mid.cpp
index fe791cd..b1a6821 100644
--- a/test/constructor/decl_entry_static_inv_mid.cpp
+++ b/test/constructor/decl_entry_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_entry_static_inv_none.cpp b/test/constructor/decl_entry_static_inv_none.cpp
index 5a4ed11..730a6e6 100644
--- a/test/constructor/decl_entry_static_inv_none.cpp
+++ b/test/constructor/decl_entry_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_exit_inv_all.cpp b/test/constructor/decl_exit_inv_all.cpp
index 92b4f74..eb39abe 100644
--- a/test/constructor/decl_exit_inv_all.cpp
+++ b/test/constructor/decl_exit_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with exit invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/constructor/decl_exit_inv_ends.cpp b/test/constructor/decl_exit_inv_ends.cpp
index 2d0b334..2c59bc1 100644
--- a/test/constructor/decl_exit_inv_ends.cpp
+++ b/test/constructor/decl_exit_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with exit invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/constructor/decl_exit_inv_mid.cpp b/test/constructor/decl_exit_inv_mid.cpp
index 2e3d36f..ba4c0ba 100644
--- a/test/constructor/decl_exit_inv_mid.cpp
+++ b/test/constructor/decl_exit_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle class with exit invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/constructor/decl_exit_inv_none.cpp b/test/constructor/decl_exit_inv_none.cpp
index 8fd54b5..4d27b30 100644
--- a/test/constructor/decl_exit_inv_none.cpp
+++ b/test/constructor/decl_exit_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and grandparent classes (ends) with exit invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/constructor/decl_exit_static_inv_all.cpp b/test/constructor/decl_exit_static_inv_all.cpp
index de618b5..24c4b52 100644
--- a/test/constructor/decl_exit_static_inv_all.cpp
+++ b/test/constructor/decl_exit_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_exit_static_inv_ends.cpp b/test/constructor/decl_exit_static_inv_ends.cpp
index 6dd67ec..33e5227 100644
--- a/test/constructor/decl_exit_static_inv_ends.cpp
+++ b/test/constructor/decl_exit_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and grandparent classes (ends) with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_exit_static_inv_mid.cpp b/test/constructor/decl_exit_static_inv_mid.cpp
index 6bfafb0..691ceed 100644
--- a/test/constructor/decl_exit_static_inv_mid.cpp
+++ b/test/constructor/decl_exit_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_exit_static_inv_none.cpp b/test/constructor/decl_exit_static_inv_none.cpp
index 937b661..fb241d8 100644
--- a/test/constructor/decl_exit_static_inv_none.cpp
+++ b/test/constructor/decl_exit_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/constructor/decl_post_all.cpp b/test/constructor/decl_post_all.cpp
index 52b0c04..bc8741e 100644
--- a/test/constructor/decl_post_all.cpp
+++ b/test/constructor/decl_post_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/constructor/decl_post_ends.cpp b/test/constructor/decl_post_ends.cpp
index cf8042d..fa19b25 100644
--- a/test/constructor/decl_post_ends.cpp
+++ b/test/constructor/decl_post_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/constructor/decl_post_mid.cpp b/test/constructor/decl_post_mid.cpp
index cc94962..8c072bb 100644
--- a/test/constructor/decl_post_mid.cpp
+++ b/test/constructor/decl_post_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/constructor/decl_post_none.cpp b/test/constructor/decl_post_none.cpp
index 5beb787..ec7b75b 100644
--- a/test/constructor/decl_post_none.cpp
+++ b/test/constructor/decl_post_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/constructor/decl_pre_all.cpp b/test/constructor/decl_pre_all.cpp
index d71c041..1efc705 100644
--- a/test/constructor/decl_pre_all.cpp
+++ b/test/constructor/decl_pre_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with preconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/constructor/decl_pre_ends.cpp b/test/constructor/decl_pre_ends.cpp
index 9212477..28ff00d 100644
--- a/test/constructor/decl_pre_ends.cpp
+++ b/test/constructor/decl_pre_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with preconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/constructor/decl_pre_mid.cpp b/test/constructor/decl_pre_mid.cpp
index d1cbc37..31f013f 100644
--- a/test/constructor/decl_pre_mid.cpp
+++ b/test/constructor/decl_pre_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base classes with preconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/constructor/decl_pre_none.cpp b/test/constructor/decl_pre_none.cpp
index 13b2efe..91fe0ab 100644
--- a/test/constructor/decl_pre_none.cpp
+++ b/test/constructor/decl_pre_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without preconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/constructor/ifdef_contracts.cpp b/test/constructor/ifdef_contracts.cpp
index a58b5ae..29e2363 100644
--- a/test/constructor/ifdef_contracts.cpp
+++ b/test/constructor/ifdef_contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contract compilation on/off.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/old_throw.cpp b/test/constructor/old_throw.cpp
index 7daf235..7393f1a 100644
--- a/test/constructor/old_throw.cpp
+++ b/test/constructor/old_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw form constructor .old() (in middle branch of inheritance tree).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/constructor/pre_error.cpp b/test/constructor/pre_error.cpp
index de17b98..bbabd74 100644
--- a/test/constructor/pre_error.cpp
+++ b/test/constructor/pre_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 constructor cannot use `.precondition(...)`.
 
 #include <boost/contract/constructor.hpp>
diff --git a/test/destructor/access.cpp b/test/destructor/access.cpp
index 4983d64..6952260 100644
--- a/test/destructor/access.cpp
+++ b/test/destructor/access.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 making all contract extra declarations (base types, inv, etc.) private.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/body_throw.cpp b/test/destructor/body_throw.cpp
index 83f9bc3..9199212 100644
--- a/test/destructor/body_throw.cpp
+++ b/test/destructor/body_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from destructor body (in middle branch of inheritance tree).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/contracts.cpp b/test/destructor/contracts.cpp
index 3480c91..179bea4 100644
--- a/test/destructor/contracts.cpp
+++ b/test/destructor/contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 destructor subcontracting.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/decl.hpp b/test/destructor/decl.hpp
index 1135209..6317e6f 100644
--- a/test/destructor/decl.hpp
+++ b/test/destructor/decl.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_DESTRUCTOR_DECL_HPP_
 #define BOOST_CONTRACT_TEST_DESTRUCTOR_DECL_HPP_
 
+// Copyright (C) 2008-2016 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 with and without pre, post, and inv declarations.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/decl_entry_inv_all.cpp b/test/destructor/decl_entry_inv_all.cpp
index 1d9998f..c4f2420 100644
--- a/test/destructor/decl_entry_inv_all.cpp
+++ b/test/destructor/decl_entry_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with entry static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/destructor/decl_entry_inv_ends.cpp b/test/destructor/decl_entry_inv_ends.cpp
index baa28ca..c823c72 100644
--- a/test/destructor/decl_entry_inv_ends.cpp
+++ b/test/destructor/decl_entry_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with entry invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/destructor/decl_entry_inv_mid.cpp b/test/destructor/decl_entry_inv_mid.cpp
index 25b8aa1..c57225f 100644
--- a/test/destructor/decl_entry_inv_mid.cpp
+++ b/test/destructor/decl_entry_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/destructor/decl_entry_inv_none.cpp b/test/destructor/decl_entry_inv_none.cpp
index 0c13713..f3b58de 100644
--- a/test/destructor/decl_entry_inv_none.cpp
+++ b/test/destructor/decl_entry_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without entry invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/destructor/decl_entry_static_inv_all.cpp b/test/destructor/decl_entry_static_inv_all.cpp
index 387165d..c2b6b27 100644
--- a/test/destructor/decl_entry_static_inv_all.cpp
+++ b/test/destructor/decl_entry_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with entry static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_entry_static_inv_ends.cpp b/test/destructor/decl_entry_static_inv_ends.cpp
index 4a6c95c..fe55037 100644
--- a/test/destructor/decl_entry_static_inv_ends.cpp
+++ b/test/destructor/decl_entry_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with entry static inv.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_entry_static_inv_mid.cpp b/test/destructor/decl_entry_static_inv_mid.cpp
index cf7902f..d559396 100644
--- a/test/destructor/decl_entry_static_inv_mid.cpp
+++ b/test/destructor/decl_entry_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_entry_static_inv_none.cpp b/test/destructor/decl_entry_static_inv_none.cpp
index 1e36779..cefcc4c 100644
--- a/test/destructor/decl_entry_static_inv_none.cpp
+++ b/test/destructor/decl_entry_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_exit_static_inv_all.cpp b/test/destructor/decl_exit_static_inv_all.cpp
index 0cabb03..6c6777d 100644
--- a/test/destructor/decl_exit_static_inv_all.cpp
+++ b/test/destructor/decl_exit_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_exit_static_inv_ends.cpp b/test/destructor/decl_exit_static_inv_ends.cpp
index 71e155e..ae86b75 100644
--- a/test/destructor/decl_exit_static_inv_ends.cpp
+++ b/test/destructor/decl_exit_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_exit_static_inv_mid.cpp b/test/destructor/decl_exit_static_inv_mid.cpp
index bf1dfd2..a50a2a6 100644
--- a/test/destructor/decl_exit_static_inv_mid.cpp
+++ b/test/destructor/decl_exit_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_exit_static_inv_none.cpp b/test/destructor/decl_exit_static_inv_none.cpp
index be051bd..7acff3a 100644
--- a/test/destructor/decl_exit_static_inv_none.cpp
+++ b/test/destructor/decl_exit_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/destructor/decl_post_all.cpp b/test/destructor/decl_post_all.cpp
index a921418..2b639b6 100644
--- a/test/destructor/decl_post_all.cpp
+++ b/test/destructor/decl_post_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/destructor/decl_post_ends.cpp b/test/destructor/decl_post_ends.cpp
index 9958e70..9bb50ee 100644
--- a/test/destructor/decl_post_ends.cpp
+++ b/test/destructor/decl_post_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/destructor/decl_post_mid.cpp b/test/destructor/decl_post_mid.cpp
index 3b215db..9fcd2fd 100644
--- a/test/destructor/decl_post_mid.cpp
+++ b/test/destructor/decl_post_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/destructor/decl_post_none.cpp b/test/destructor/decl_post_none.cpp
index ce20015..c214a52 100644
--- a/test/destructor/decl_post_none.cpp
+++ b/test/destructor/decl_post_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/destructor/ifdef_contracts.cpp b/test/destructor/ifdef_contracts.cpp
index d1e103a..8bf1bbb 100644
--- a/test/destructor/ifdef_contracts.cpp
+++ b/test/destructor/ifdef_contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contract compilation on/off.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/old_throw.cpp b/test/destructor/old_throw.cpp
index a8d368a..009b506 100644
--- a/test/destructor/old_throw.cpp
+++ b/test/destructor/old_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from destructor .old() (in middle branch of inheritance tree).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/destructor/pre_error.cpp b/test/destructor/pre_error.cpp
index 51aa052..b9f5bdb 100644
--- a/test/destructor/pre_error.cpp
+++ b/test/destructor/pre_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 destructor cannot use `.precondition(...)`.
 
 #include <boost/contract/destructor.hpp>
diff --git a/test/detail/counter.hpp b/test/detail/counter.hpp
index dac5260..4cb657d 100644
--- a/test/detail/counter.hpp
+++ b/test/detail/counter.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_DETAIL_COUNTER_HPP_
 #define BOOST_CONTRACT_TEST_DETAIL_COUNTER_HPP_
 
+// Copyright (C) 2008-2016 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
+
 namespace boost { namespace contract { namespace test { namespace detail {
 
 // Helper to count copies and evaluations of type (e.g., for old values).
diff --git a/test/detail/oteststream.hpp b/test/detail/oteststream.hpp
index feccd42..343e3ec 100644
--- a/test/detail/oteststream.hpp
+++ b/test/detail/oteststream.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_DETAIL_OTESTSTREAM_HPP_
 #define BOOST_CONTRACT_TEST_DETAIL_OTESTSTREAM_HPP_
 
+// Copyright (C) 2008-2016 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
+
 #include <boost/iostreams/tee.hpp>
 #include <boost/iostreams/stream.hpp>
 #include <string>
diff --git a/test/disable/lib_a.cpp b/test/disable/lib_a.cpp
index 08945a6..e6448b0 100644
--- a/test/disable/lib_a.cpp
+++ b/test/disable/lib_a.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #define BOOST_CONTRACT_TEST_LIB_A_SOURCE
diff --git a/test/disable/lib_a.hpp b/test/disable/lib_a.hpp
index e2de5f9..090bf5a 100644
--- a/test/disable/lib_a.hpp
+++ b/test/disable/lib_a.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_LIB_A_HPP_
 #define BOOST_CONTRACT_TEST_LIB_A_HPP_
 
+// Copyright (C) 2008-2016 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
+
 #include "../detail/oteststream.hpp"
 #include "../detail/counter.hpp"
 #include <boost/config.hpp>
diff --git a/test/disable/lib_a_inlined.hpp b/test/disable/lib_a_inlined.hpp
index 301aac3..5727fb9 100644
--- a/test/disable/lib_a_inlined.hpp
+++ b/test/disable/lib_a_inlined.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_TEST_LIB_A_INLINED_HPP_
 #define BOOST_TEST_LIB_A_INLINED_HPP_
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #include "lib_a.hpp"
diff --git a/test/disable/lib_ab.cpp b/test/disable/lib_ab.cpp
index 787a59b..3124499 100644
--- a/test/disable/lib_ab.cpp
+++ b/test/disable/lib_ab.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking among libs.
 
 #include "lib_ab.hpp"
diff --git a/test/disable/lib_ab.hpp b/test/disable/lib_ab.hpp
index b9c603e..a55696d 100644
--- a/test/disable/lib_ab.hpp
+++ b/test/disable/lib_ab.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #include "lib_a.hpp"
diff --git a/test/disable/lib_b.cpp b/test/disable/lib_b.cpp
index b1936b9..c92763b 100644
--- a/test/disable/lib_b.cpp
+++ b/test/disable/lib_b.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #define BOOST_CONTRACT_TEST_LIB_B_SOURCE
diff --git a/test/disable/lib_b.hpp b/test/disable/lib_b.hpp
index 79a197b..0f8a7f5 100644
--- a/test/disable/lib_b.hpp
+++ b/test/disable/lib_b.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_LIB_B_HPP_
 #define BOOST_CONTRACT_TEST_LIB_B_HPP_
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #include <boost/config.hpp>
diff --git a/test/disable/lib_b_inlined.hpp b/test/disable/lib_b_inlined.hpp
index 317ba42..04a7dc6 100644
--- a/test/disable/lib_b_inlined.hpp
+++ b/test/disable/lib_b_inlined.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_TEST_LIB_B_INLINED_HPP_
 #define BOOST_TEST_LIB_B_INLINED_HPP_
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking [among libs].
 
 #include "lib_b.hpp"
diff --git a/test/disable/lib_x.cpp b/test/disable/lib_x.cpp
index c044eaa..a884218 100644
--- a/test/disable/lib_x.cpp
+++ b/test/disable/lib_x.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contracts in .cpp so never has post (because NO_POST in its Jamfile).
 
 #define BOOST_CONTRACT_TEST_LIB_X_SOURCE
diff --git a/test/disable/lib_x.hpp b/test/disable/lib_x.hpp
index a4d64db..3bc59a3 100644
--- a/test/disable/lib_x.hpp
+++ b/test/disable/lib_x.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_LIB_X_HPP_
 #define BOOST_CONTRACT_TEST_LIB_X_HPP_
 
+// Copyright (C) 2008-2016 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 contracts in .cpp so never has post (because NO_POST in its Jamfile).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/disable/lib_xy.cpp b/test/disable/lib_xy.cpp
index 3a0a84a..a3344db 100644
--- a/test/disable/lib_xy.cpp
+++ b/test/disable/lib_xy.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contracts in .cpp have no post as NO_POST in Jamfile (but not in .hpp).
 
 #include "lib_x.hpp"
diff --git a/test/disable/lib_y.cpp b/test/disable/lib_y.cpp
index a0e43f4..700c6ad 100644
--- a/test/disable/lib_y.cpp
+++ b/test/disable/lib_y.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contracts in .hpp so can have post (even if NO_POST in its Jamfile).
 
 #define BOOST_CONTRACT_TEST_LIB_Y_SOURCE
diff --git a/test/disable/lib_y.hpp b/test/disable/lib_y.hpp
index c761821..ff95c98 100644
--- a/test/disable/lib_y.hpp
+++ b/test/disable/lib_y.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_LIB_Y_HPP_
 #define BOOST_CONTRACT_TEST_LIB_Y_HPP_
 
+// Copyright (C) 2008-2016 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 contracts in .hpp so can have post (even if NO_POST in its Jamfile).
 
 #include "lib_x.hpp"
diff --git a/test/disable/prog.cpp b/test/disable/prog.cpp
index 41983ce..e4131d1 100644
--- a/test/disable/prog.cpp
+++ b/test/disable/prog.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking disabled within contract checking (in a prog).
 
 #include "lib_a.hpp"
diff --git a/test/disable/prog_pre_disable_nothing.cpp b/test/disable/prog_pre_disable_nothing.cpp
index 7132dbd..844d784 100644
--- a/test/disable/prog_pre_disable_nothing.cpp
+++ b/test/disable/prog_pre_disable_nothing.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 other contract checking but pre disabled within contract checking.
 
 #define BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION
diff --git a/test/function/body_throw.cpp b/test/function/body_throw.cpp
index ece8d6a..cda89a3 100644
--- a/test/function/body_throw.cpp
+++ b/test/function/body_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from free function body.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/function/contracts.cpp b/test/function/contracts.cpp
index 1531a0d..a4c587c 100644
--- a/test/function/contracts.cpp
+++ b/test/function/contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 free function contracts.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/function/decl.hpp b/test/function/decl.hpp
index d2794a6..bee61aa 100644
--- a/test/function/decl.hpp
+++ b/test/function/decl.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_FUNCTION_DECL_HPP_
 #define BOOST_CONTRACT_TEST_FUNCTION_DECL_HPP_
 
+// Copyright (C) 2008-2016 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 with and without pre and post declarations.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/function/decl_post_all.cpp b/test/function/decl_post_all.cpp
index 4dad1c9..ba75b3d 100644
--- a/test/function/decl_post_all.cpp
+++ b/test/function/decl_post_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_F_POST
diff --git a/test/function/decl_post_none.cpp b/test/function/decl_post_none.cpp
index ed8bee9..f9c9145 100644
--- a/test/function/decl_post_none.cpp
+++ b/test/function/decl_post_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 without postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_F_POST
diff --git a/test/function/decl_pre_all.cpp b/test/function/decl_pre_all.cpp
index 232b55c..4d07a4e 100644
--- a/test/function/decl_pre_all.cpp
+++ b/test/function/decl_pre_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with preconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_F_PRE
diff --git a/test/function/decl_pre_none.cpp b/test/function/decl_pre_none.cpp
index baaade9..29b3cab 100644
--- a/test/function/decl_pre_none.cpp
+++ b/test/function/decl_pre_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 without preconditions.
 
 #define BOOST_CONTRACT_TEST_NO_F_PRE
diff --git a/test/function/ifdef_contracts.cpp b/test/function/ifdef_contracts.cpp
index 15657e7..2bd4426 100644
--- a/test/function/ifdef_contracts.cpp
+++ b/test/function/ifdef_contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contract compilation on/off.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/function/old_throw.cpp b/test/function/old_throw.cpp
index cada567..d3654fc 100644
--- a/test/function/old_throw.cpp
+++ b/test/function/old_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from free function .old().
 
 #include "../detail/oteststream.hpp"
diff --git a/test/invariant/decl.hpp b/test/invariant/decl.hpp
index 56d9cb1..ee36d48 100644
--- a/test/invariant/decl.hpp
+++ b/test/invariant/decl.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 with and without all invariants (static/cv/const-only) declarations.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/invariant/decl_const.cpp b/test/invariant/decl_const.cpp
index 7bee7af..8a14795 100644
--- a/test/invariant/decl_const.cpp
+++ b/test/invariant/decl_const.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #undef BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_cv.cpp b/test/invariant/decl_cv.cpp
index 129ddce..083395d 100644
--- a/test/invariant/decl_cv.cpp
+++ b/test/invariant/decl_cv.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #undef BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_cv_const.cpp b/test/invariant/decl_cv_const.cpp
index debba67..c9b523a 100644
--- a/test/invariant/decl_cv_const.cpp
+++ b/test/invariant/decl_cv_const.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #undef BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_nothing.cpp b/test/invariant/decl_nothing.cpp
index 36770db..01ac7e4 100644
--- a/test/invariant/decl_nothing.cpp
+++ b/test/invariant/decl_nothing.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #undef BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_static.cpp b/test/invariant/decl_static.cpp
index 030956a..f69f8ca 100644
--- a/test/invariant/decl_static.cpp
+++ b/test/invariant/decl_static.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #define BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_static_const.cpp b/test/invariant/decl_static_const.cpp
index 425d07a..50fee7c 100644
--- a/test/invariant/decl_static_const.cpp
+++ b/test/invariant/decl_static_const.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #define BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_static_cv.cpp b/test/invariant/decl_static_cv.cpp
index c0aac79..436eaf2 100644
--- a/test/invariant/decl_static_cv.cpp
+++ b/test/invariant/decl_static_cv.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #define BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/decl_static_cv_const.cpp b/test/invariant/decl_static_cv_const.cpp
index 006e2c4..ea2606b 100644
--- a/test/invariant/decl_static_cv_const.cpp
+++ b/test/invariant/decl_static_cv_const.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all invariants (static, cv, and const-only).
 
 #define BOOST_CONTRACT_TEST_STATIC_INV
diff --git a/test/invariant/mutable.hpp b/test/invariant/mutable.hpp
index 381f38e..70bbb36 100644
--- a/test/invariant/mutable.hpp
+++ b/test/invariant/mutable.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if non-static inv declared mutable (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/mutable_error.cpp b/test/invariant/mutable_error.cpp
index ab0f9bf..e6b8925 100644
--- a/test/invariant/mutable_error.cpp
+++ b/test/invariant/mutable_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 compiler error when invariant() not declared const.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/mutable_permissive.cpp b/test/invariant/mutable_permissive.cpp
index 0b812fa..854f9f7 100644
--- a/test/invariant/mutable_permissive.cpp
+++ b/test/invariant/mutable_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 if invariant() not declared const.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static.hpp b/test/invariant/static.hpp
index 6474407..05c8a11 100644
--- a/test/invariant/static.hpp
+++ b/test/invariant/static.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if non-static inv declared static (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/static_const.hpp b/test/invariant/static_const.hpp
index a036f29..87dc56b 100644
--- a/test/invariant/static_const.hpp
+++ b/test/invariant/static_const.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if static inv declared const (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/static_const_error.cpp b/test/invariant/static_const_error.cpp
index 0264ed7..f7209c0 100644
--- a/test/invariant/static_const_error.cpp
+++ b/test/invariant/static_const_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if static inv declared const.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_const_permissive.cpp b/test/invariant/static_const_permissive.cpp
index 0d1f814..df0a93b 100644
--- a/test/invariant/static_const_permissive.cpp
+++ b/test/invariant/static_const_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 static inv declared const.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_cv.hpp b/test/invariant/static_cv.hpp
index 0ef84f1..cbdc974 100644
--- a/test/invariant/static_cv.hpp
+++ b/test/invariant/static_cv.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if static inv declared cv (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/static_cv_error.cpp b/test/invariant/static_cv_error.cpp
index c693601..952d17f 100644
--- a/test/invariant/static_cv_error.cpp
+++ b/test/invariant/static_cv_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if static inv declared cv.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_cv_permissive.cpp b/test/invariant/static_cv_permissive.cpp
index 6c6dbce..c6c18fe 100644
--- a/test/invariant/static_cv_permissive.cpp
+++ b/test/invariant/static_cv_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 static inv declared cv.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_error.cpp b/test/invariant/static_error.cpp
index 54778d4..a4c4d67 100644
--- a/test/invariant/static_error.cpp
+++ b/test/invariant/static_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 compiler error if invariant() declared static.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_mutable.hpp b/test/invariant/static_mutable.hpp
index fc38160..bf3f815 100644
--- a/test/invariant/static_mutable.hpp
+++ b/test/invariant/static_mutable.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if static inv declared mutable (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/static_mutable_error.cpp b/test/invariant/static_mutable_error.cpp
index 2c5eecf..5185983 100644
--- a/test/invariant/static_mutable_error.cpp
+++ b/test/invariant/static_mutable_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if static inv declared mutable.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_mutable_permissive.cpp b/test/invariant/static_mutable_permissive.cpp
index 5285a28..e8073ff 100644
--- a/test/invariant/static_mutable_permissive.cpp
+++ b/test/invariant/static_mutable_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if permissive even when static inv declared mutable.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_permissive.cpp b/test/invariant/static_permissive.cpp
index 5901c44..fbb8f83 100644
--- a/test/invariant/static_permissive.cpp
+++ b/test/invariant/static_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 compiler error if permissive even when invariant() declared static.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_volatile.hpp b/test/invariant/static_volatile.hpp
index c012874..6714c82 100644
--- a/test/invariant/static_volatile.hpp
+++ b/test/invariant/static_volatile.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if static inv declared volatile (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/static_volatile_error.cpp b/test/invariant/static_volatile_error.cpp
index 39d645f..55177c4 100644
--- a/test/invariant/static_volatile_error.cpp
+++ b/test/invariant/static_volatile_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if static inv declared volatile.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/static_volatile_permissive.cpp b/test/invariant/static_volatile_permissive.cpp
index aeda94b..8866280 100644
--- a/test/invariant/static_volatile_permissive.cpp
+++ b/test/invariant/static_volatile_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if permissive even when static inv declared volatile.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/volatile.hpp b/test/invariant/volatile.hpp
index 13b19cf..623480e 100644
--- a/test/invariant/volatile.hpp
+++ b/test/invariant/volatile.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if non-static inv declared volatile (unless PERMISSIVE #defined).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/invariant/volatile_error.cpp b/test/invariant/volatile_error.cpp
index dd7b866..07a9d97 100644
--- a/test/invariant/volatile_error.cpp
+++ b/test/invariant/volatile_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if non-static inv declared volatile.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/invariant/volatile_permissive.cpp b/test/invariant/volatile_permissive.cpp
index 53ac9f5..5adacb9 100644
--- a/test/invariant/volatile_permissive.cpp
+++ b/test/invariant/volatile_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/old/auto.cpp b/test/old/auto.cpp
index e934724..bc9dbb3 100644
--- a/test/old/auto.cpp
+++ b/test/old/auto.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 that OLDOF macro allows to use C++11 auto declarations.
 
 #include <boost/config.hpp>
diff --git a/test/old/no_equal.cpp b/test/old/no_equal.cpp
index 27f4736..538fb75 100644
--- a/test/old/no_equal.cpp
+++ b/test/old/no_equal.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 assertions skipped when operations to check them missing (e.g., `==`).
 
 #include <boost/contract/function.hpp>
diff --git a/test/old/no_equal_error.cpp b/test/old/no_equal_error.cpp
index b3431e3..40dacd8 100644
--- a/test/old/no_equal_error.cpp
+++ b/test/old/no_equal_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 assertion error when operations to check them missing (e.g., `==`).
 
 #include <boost/contract/function.hpp>
diff --git a/test/old/no_macros.cpp b/test/old/no_macros.cpp
index 9d05636..627c004 100644
--- a/test/old/no_macros.cpp
+++ b/test/old/no_macros.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #define BOOST_CONTRACT_TEST_OLD_PTR_TYPE boost::contract::old_ptr
 #include "no_macros.hpp"
 
diff --git a/test/old/no_macros.hpp b/test/old/no_macros.hpp
index a7fdc6c..fd81b9a 100644
--- a/test/old/no_macros.hpp
+++ b/test/old/no_macros.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 old values without BOOST_CONTRACT_OLDOF macro.
 
 #ifndef BOOST_CONTRACT_TEST_OLD_PTR_TYPE
diff --git a/test/old/no_macros_noncopyable.cpp b/test/old/no_macros_noncopyable.cpp
index 1840435..261f7c3 100644
--- a/test/old/no_macros_noncopyable.cpp
+++ b/test/old/no_macros_noncopyable.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #define BOOST_CONTRACT_TEST_OLD_PTR_TYPE boost::contract::old_ptr_noncopyable
 #include "no_macros.hpp"
 
diff --git a/test/old/no_make_old_error.cpp b/test/old/no_make_old_error.cpp
index a862ff4..639ef82 100644
--- a/test/old/no_make_old_error.cpp
+++ b/test/old/no_make_old_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #define BOOST_CONTRACT_TEST_OLD_PTR_TYPE boost::contract::old_ptr
 #include "no_make_old_error.hpp"
 
diff --git a/test/old/no_make_old_error.hpp b/test/old/no_make_old_error.hpp
index f38ec30..5663211 100644
--- a/test/old/no_make_old_error.hpp
+++ b/test/old/no_make_old_error.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error when make_old(...) not used by mistake.
 
 #ifndef BOOST_CONTRACT_TEST_OLD_PTR_TYPE
diff --git a/test/old/no_make_old_noncopyable_error.cpp b/test/old/no_make_old_noncopyable_error.cpp
index 4852619..d467664 100644
--- a/test/old/no_make_old_noncopyable_error.cpp
+++ b/test/old/no_make_old_noncopyable_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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
+
 #define BOOST_CONTRACT_TEST_OLD_PTR_TYPE boost::contract::old_ptr_noncopyable
 #include "no_make_old_error.hpp"
 
diff --git a/test/old/noncopyable.cpp b/test/old/noncopyable.cpp
index 6a8a7dc..9cb7fa5 100644
--- a/test/old/noncopyable.cpp
+++ b/test/old/noncopyable.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 old values of non-copyable types.
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/old/noncopyable_error.cpp b/test/old/noncopyable_error.cpp
index ede2e67..a744387 100644
--- a/test/old/noncopyable_error.cpp
+++ b/test/old/noncopyable_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 forcing compiler error for old values of non-copyable types.
 
 #include <boost/contract/function.hpp>
diff --git a/test/public_function/access.cpp b/test/public_function/access.cpp
index b1b48c6..42a092b 100644
--- a/test/public_function/access.cpp
+++ b/test/public_function/access.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 making all contract extra declarations (base types, inv, etc.) private.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/body_throw.cpp b/test/public_function/body_throw.cpp
index 2d7287b..070faca 100644
--- a/test/public_function/body_throw.cpp
+++ b/test/public_function/body_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 from public function (derived) body.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/contracts.cpp b/test/public_function/contracts.cpp
index 2e8f33c..aa95ed7 100644
--- a/test/public_function/contracts.cpp
+++ b/test/public_function/contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public member function subcontracting.
 
 #include "contracts.hpp"
diff --git a/test/public_function/contracts.hpp b/test/public_function/contracts.hpp
index 2c40970..917b881 100644
--- a/test/public_function/contracts.hpp
+++ b/test/public_function/contracts.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_PUBLIC_FUNCTION_CONTRACTS_HPP_
 #define BOOST_CONTRACT_TEST_PUBLIC_FUNCTION_CONTRACTS_HPP_
 
+// Copyright (C) 2008-2016 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 public member function subcontracting (also with old and return values).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/decl.hpp b/test/public_function/decl.hpp
index 5a14499..0f5511a 100644
--- a/test/public_function/decl.hpp
+++ b/test/public_function/decl.hpp
@@ -2,6 +2,11 @@
 #ifndef BOOST_CONTRACT_TEST_PUBLIC_FUNCTION_DECL_HPP_
 #define BOOST_CONTRACT_TEST_PUBLIC_FUNCTION_DECL_HPP_
 
+// Copyright (C) 2008-2016 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 with and without pre, post, and inv declarations.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/decl_entry_inv_all.cpp b/test/public_function/decl_entry_inv_all.cpp
index 988ee37..bdb68f4 100644
--- a/test/public_function/decl_entry_inv_all.cpp
+++ b/test/public_function/decl_entry_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with entry invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_entry_inv_ends.cpp b/test/public_function/decl_entry_inv_ends.cpp
index e3707b0..1c5a0ab 100644
--- a/test/public_function/decl_entry_inv_ends.cpp
+++ b/test/public_function/decl_entry_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with entry invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_entry_inv_mid.cpp b/test/public_function/decl_entry_inv_mid.cpp
index 1642e85..e9250f8 100644
--- a/test/public_function/decl_entry_inv_mid.cpp
+++ b/test/public_function/decl_entry_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_entry_inv_none.cpp b/test/public_function/decl_entry_inv_none.cpp
index e485668..38e4584 100644
--- a/test/public_function/decl_entry_inv_none.cpp
+++ b/test/public_function/decl_entry_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without entry invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_entry_static_inv_all.cpp b/test/public_function/decl_entry_static_inv_all.cpp
index c0b54a8..f57aa91 100644
--- a/test/public_function/decl_entry_static_inv_all.cpp
+++ b/test/public_function/decl_entry_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with entry static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_entry_static_inv_ends.cpp b/test/public_function/decl_entry_static_inv_ends.cpp
index 3538277..476f3c3 100644
--- a/test/public_function/decl_entry_static_inv_ends.cpp
+++ b/test/public_function/decl_entry_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with entry static inv.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_entry_static_inv_mid.cpp b/test/public_function/decl_entry_static_inv_mid.cpp
index cb0aba3..a242b17 100644
--- a/test/public_function/decl_entry_static_inv_mid.cpp
+++ b/test/public_function/decl_entry_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_entry_static_inv_none.cpp b/test/public_function/decl_entry_static_inv_none.cpp
index 63bdecb..e94d2c5 100644
--- a/test/public_function/decl_entry_static_inv_none.cpp
+++ b/test/public_function/decl_entry_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without entry static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_exit_inv_all.cpp b/test/public_function/decl_exit_inv_all.cpp
index 00cee36..395e4ae 100644
--- a/test/public_function/decl_exit_inv_all.cpp
+++ b/test/public_function/decl_exit_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with exit invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_exit_inv_ends.cpp b/test/public_function/decl_exit_inv_ends.cpp
index 4982328..068a091 100644
--- a/test/public_function/decl_exit_inv_ends.cpp
+++ b/test/public_function/decl_exit_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with exit invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_exit_inv_mid.cpp b/test/public_function/decl_exit_inv_mid.cpp
index ecadc28..771f976 100644
--- a/test/public_function/decl_exit_inv_mid.cpp
+++ b/test/public_function/decl_exit_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with exit invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_exit_inv_none.cpp b/test/public_function/decl_exit_inv_none.cpp
index de92935..720b488 100644
--- a/test/public_function/decl_exit_inv_none.cpp
+++ b/test/public_function/decl_exit_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without exit invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_INV
diff --git a/test/public_function/decl_exit_static_inv_all.cpp b/test/public_function/decl_exit_static_inv_all.cpp
index 1b4df70..93cfbcd 100644
--- a/test/public_function/decl_exit_static_inv_all.cpp
+++ b/test/public_function/decl_exit_static_inv_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_exit_static_inv_ends.cpp b/test/public_function/decl_exit_static_inv_ends.cpp
index 7dea82a..1147e10 100644
--- a/test/public_function/decl_exit_static_inv_ends.cpp
+++ b/test/public_function/decl_exit_static_inv_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with exit static invariants.
 
 #undef BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_exit_static_inv_mid.cpp b/test/public_function/decl_exit_static_inv_mid.cpp
index a3326ae..3d376cb 100644
--- a/test/public_function/decl_exit_static_inv_mid.cpp
+++ b/test/public_function/decl_exit_static_inv_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_exit_static_inv_none.cpp b/test/public_function/decl_exit_static_inv_none.cpp
index a630f5d..9a70346 100644
--- a/test/public_function/decl_exit_static_inv_none.cpp
+++ b/test/public_function/decl_exit_static_inv_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without exit static invariants.
 
 #define BOOST_CONTRACT_TEST_NO_A_STATIC_INV
diff --git a/test/public_function/decl_post_all.cpp b/test/public_function/decl_post_all.cpp
index a9472dc..3d49aa0 100644
--- a/test/public_function/decl_post_all.cpp
+++ b/test/public_function/decl_post_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/public_function/decl_post_ends.cpp b/test/public_function/decl_post_ends.cpp
index a3d2e0b..59a1ee5 100644
--- a/test/public_function/decl_post_ends.cpp
+++ b/test/public_function/decl_post_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with postconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/public_function/decl_post_mid.cpp b/test/public_function/decl_post_mid.cpp
index c017c77..97534e7 100644
--- a/test/public_function/decl_post_mid.cpp
+++ b/test/public_function/decl_post_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/public_function/decl_post_none.cpp b/test/public_function/decl_post_none.cpp
index 085f3c2..e1131e0 100644
--- a/test/public_function/decl_post_none.cpp
+++ b/test/public_function/decl_post_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without postconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_POST
diff --git a/test/public_function/decl_pre_all.cpp b/test/public_function/decl_pre_all.cpp
index 5735833..2b49b9e 100644
--- a/test/public_function/decl_pre_all.cpp
+++ b/test/public_function/decl_pre_all.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes with preconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/public_function/decl_pre_ends.cpp b/test/public_function/decl_pre_ends.cpp
index cfea274..d4b0259 100644
--- a/test/public_function/decl_pre_ends.cpp
+++ b/test/public_function/decl_pre_ends.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only derived and grandparent classes (ends) with preconditions.
 
 #undef BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/public_function/decl_pre_mid.cpp b/test/public_function/decl_pre_mid.cpp
index dfcb6f7..26205bf 100644
--- a/test/public_function/decl_pre_mid.cpp
+++ b/test/public_function/decl_pre_mid.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only middle base class with preconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/public_function/decl_pre_none.cpp b/test/public_function/decl_pre_none.cpp
index 2f3ff3b..a8f5d6b 100644
--- a/test/public_function/decl_pre_none.cpp
+++ b/test/public_function/decl_pre_none.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all derived and base classes without preconditions.
 
 #define BOOST_CONTRACT_TEST_NO_A_PRE
diff --git a/test/public_function/ifdef_contracts.cpp b/test/public_function/ifdef_contracts.cpp
index 35695ec..0cf6c7b 100644
--- a/test/public_function/ifdef_contracts.cpp
+++ b/test/public_function/ifdef_contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 contract compilation on/off.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/max_args.cpp b/test/public_function/max_args.cpp
index ae049cf..dd39412 100644
--- a/test/public_function/max_args.cpp
+++ b/test/public_function/max_args.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with default max argument number (leave MAX_ARGS #undef).
 
 #include "max_args.hpp"
diff --git a/test/public_function/max_args.hpp b/test/public_function/max_args.hpp
index 58a80de..4b47859 100644
--- a/test/public_function/max_args.hpp
+++ b/test/public_function/max_args.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 max argument number for public function (with and without result).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/max_args0.cpp b/test/public_function/max_args0.cpp
index c43df45..cf851f5 100644
--- a/test/public_function/max_args0.cpp
+++ b/test/public_function/max_args0.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 0.
 
 #define BOOST_CONTRACT_MAX_ARGS 0
diff --git a/test/public_function/max_args0_no_tva.cpp b/test/public_function/max_args0_no_tva.cpp
index 719d565..1e3ffec 100644
--- a/test/public_function/max_args0_no_tva.cpp
+++ b/test/public_function/max_args0_no_tva.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 0 and no variadic templates.
 
 #define BOOST_NO_CXX11_VARIADIC_TEMPLATES
diff --git a/test/public_function/max_args1.cpp b/test/public_function/max_args1.cpp
index 14b427a..bbd8013 100644
--- a/test/public_function/max_args1.cpp
+++ b/test/public_function/max_args1.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 1.
 
 #define BOOST_CONTRACT_MAX_ARGS 1
diff --git a/test/public_function/max_args1_no_tva.cpp b/test/public_function/max_args1_no_tva.cpp
index a9d0c30..cf2abb3 100644
--- a/test/public_function/max_args1_no_tva.cpp
+++ b/test/public_function/max_args1_no_tva.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 1 and no variadic templates.
 
 #define BOOST_NO_CXX11_VARIADIC_TEMPLATES
diff --git a/test/public_function/max_args2.cpp b/test/public_function/max_args2.cpp
index 15d33a1..5b8e9f9 100644
--- a/test/public_function/max_args2.cpp
+++ b/test/public_function/max_args2.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 2.
 
 #define BOOST_CONTRACT_MAX_ARGS 2
diff --git a/test/public_function/max_args2_no_tva.cpp b/test/public_function/max_args2_no_tva.cpp
index fb40c6b..5fe431e 100644
--- a/test/public_function/max_args2_no_tva.cpp
+++ b/test/public_function/max_args2_no_tva.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max argument number set to 2 and no variadic templates.
 
 #define BOOST_NO_CXX11_VARIADIC_TEMPLATES
diff --git a/test/public_function/max_args_no_tva.cpp b/test/public_function/max_args_no_tva.cpp
index 2f0b219..3dca19e 100644
--- a/test/public_function/max_args_no_tva.cpp
+++ b/test/public_function/max_args_no_tva.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with default max arg number (leave MAX_ARGS #undef) and no variadic tpl.
 
 #define BOOST_NO_CXX11_VARIADIC_TEMPLATES
diff --git a/test/public_function/max_bases.cpp b/test/public_function/max_bases.cpp
index 7941847..6c88b5a 100644
--- a/test/public_function/max_bases.cpp
+++ b/test/public_function/max_bases.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 with max possible number of bases.
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/public_function/old_throw.cpp b/test/public_function/old_throw.cpp
index c68fa71..26fffb1 100644
--- a/test/public_function/old_throw.cpp
+++ b/test/public_function/old_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from public function (derived and bases) .old().
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/overload.cpp b/test/public_function/overload.cpp
index 7e04c6b..aabcece 100644
--- a/test/public_function/overload.cpp
+++ b/test/public_function/overload.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public function overloads (with variadic templates if supported).
 
 #include "overload.hpp"
diff --git a/test/public_function/overload.hpp b/test/public_function/overload.hpp
index 5538d74..b548f81 100644
--- a/test/public_function/overload.hpp
+++ b/test/public_function/overload.hpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public function overloads.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/overload_no_tva.cpp b/test/public_function/overload_no_tva.cpp
index 4a47c6b..301b42e 100644
--- a/test/public_function/overload_no_tva.cpp
+++ b/test/public_function/overload_no_tva.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public function overloads (always without variadic templates).
 
 #define BOOST_NO_CXX11_VARIADIC_TEMPLATES
diff --git a/test/public_function/override.hpp b/test/public_function/override.hpp
index 9bc1fb8..8e86917 100644
--- a/test/public_function/override.hpp
+++ b/test/public_function/override.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 error if override func does not actually override (unless PERMISSIVE).
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/public_function/override_error.cpp b/test/public_function/override_error.cpp
index 8d0aa59..bafe02f 100644
--- a/test/public_function/override_error.cpp
+++ b/test/public_function/override_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 error if override func does not actually override.
 
 #undef BOOST_CONTRACT_PERMISSIVE
diff --git a/test/public_function/override_permissive.cpp b/test/public_function/override_permissive.cpp
index 24fac88..fe2b890 100644
--- a/test/public_function/override_permissive.cpp
+++ b/test/public_function/override_permissive.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 override f does not actually override.
 
 #define BOOST_CONTRACT_PERMISSIVE
diff --git a/test/public_function/protected.cpp b/test/public_function/protected.cpp
index 54427b5..b394381 100644
--- a/test/public_function/protected.cpp
+++ b/test/public_function/protected.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 overriding function never overrides protected function contract.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/protected_error.cpp b/test/public_function/protected_error.cpp
index bb88c89..c95774a 100644
--- a/test/public_function/protected_error.cpp
+++ b/test/public_function/protected_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 a public function contract cannot override from a protected one.
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/public_function/static.cpp b/test/public_function/static.cpp
index 48baf7e..effc3e6 100644
--- a/test/public_function/static.cpp
+++ b/test/public_function/static.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public static member function contracts.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/static_body_throw.cpp b/test/public_function/static_body_throw.cpp
index 59fc53f..7aee991 100644
--- a/test/public_function/static_body_throw.cpp
+++ b/test/public_function/static_body_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public static member function throwing.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/static_no_contracts.cpp b/test/public_function/static_no_contracts.cpp
index 85778db..d1220ca 100644
--- a/test/public_function/static_no_contracts.cpp
+++ b/test/public_function/static_no_contracts.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public static member function contract compilation on/off.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/static_old_throw.cpp b/test/public_function/static_old_throw.cpp
index 68028f6..9a0124b 100644
--- a/test/public_function/static_old_throw.cpp
+++ b/test/public_function/static_old_throw.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 throw from public static member function .old().
 
 #include "../detail/oteststream.hpp"
diff --git a/test/public_function/virtual.cpp b/test/public_function/virtual.cpp
index 2915d0e..082ca9c 100644
--- a/test/public_function/virtual.cpp
+++ b/test/public_function/virtual.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public function subcontracting via virtual functions.
 
 #include "contracts.hpp"
diff --git a/test/public_function/virtual_branch.cpp b/test/public_function/virtual_branch.cpp
index e0baa3b..9df7c63 100644
--- a/test/public_function/virtual_branch.cpp
+++ b/test/public_function/virtual_branch.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 public function subcontracting from middle branch of inheritance tree.
 
 #include "contracts.hpp"
diff --git a/test/public_function/virtual_sparse.cpp b/test/public_function/virtual_sparse.cpp
index 2e1beb8..878b737 100644
--- a/test/public_function/virtual_sparse.cpp
+++ b/test/public_function/virtual_sparse.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 subcontracting with sparse and complex inheritance graph.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/result/mixed_optional.cpp b/test/result/mixed_optional.cpp
index f332215..d1378db 100644
--- a/test/result/mixed_optional.cpp
+++ b/test/result/mixed_optional.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 base and derived classes mixing boost::optional and non- result types.
 
 #include "mixed_optional.hpp"
diff --git a/test/result/mixed_optional.hpp b/test/result/mixed_optional.hpp
index c6576d0..59718cf 100644
--- a/test/result/mixed_optional.hpp
+++ b/test/result/mixed_optional.hpp
@@ -1,6 +1,11 @@
 
 // no #include guard
 
+// Copyright (C) 2008-2016 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 base and derived classes mixing boost::optional and non- result types.
 
 #include "../detail/oteststream.hpp"
diff --git a/test/result/mixed_optional_ref.cpp b/test/result/mixed_optional_ref.cpp
index 06316f7..8f5f7fb 100644
--- a/test/result/mixed_optional_ref.cpp
+++ b/test/result/mixed_optional_ref.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 base and derived classes mixing boost::optional and non- result by ref.
 
 #define BOOST_CONTRACT_TEST_REF
diff --git a/test/result/type_mismatch_error.cpp b/test/result/type_mismatch_error.cpp
index 05cf3d2..4f3d8ff 100644
--- a/test/result/type_mismatch_error.cpp
+++ b/test/result/type_mismatch_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 override public function error on result type mismatch.
 
 #include <boost/contract/public_function.hpp>
diff --git a/test/specify/no_guard.cpp b/test/specify/no_guard.cpp
index b3c743a..abc2faf 100644
--- a/test/specify/no_guard.cpp
+++ b/test/specify/no_guard.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 missing contract guard gives run-time error.
 
 struct err {};
diff --git a/test/specify/nothing.cpp b/test/specify/nothing.cpp
index 8d78a9a..9abd79a 100644
--- a/test/specify/nothing.cpp
+++ b/test/specify/nothing.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 pre or post (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/old.cpp b/test/specify/old.cpp
index f569f8a..d851f1f 100644
--- a/test/specify/old.cpp
+++ b/test/specify/old.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only old specified (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/old_post.cpp b/test/specify/old_post.cpp
index a767227..c3fe687 100644
--- a/test/specify/old_post.cpp
+++ b/test/specify/old_post.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 both old and post (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/old_pre_error.cpp b/test/specify/old_pre_error.cpp
index a28f859..82f0bf5 100644
--- a/test/specify/old_pre_error.cpp
+++ b/test/specify/old_pre_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 old before pre error (for free func, but same for all contracts).
 
 #include <boost/contract/function.hpp>
diff --git a/test/specify/post.cpp b/test/specify/post.cpp
index 5df450b..5e18144 100644
--- a/test/specify/post.cpp
+++ b/test/specify/post.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only post specified (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/post_old_error.cpp b/test/specify/post_old_error.cpp
index c7cb1fa..46f107a 100644
--- a/test/specify/post_old_error.cpp
+++ b/test/specify/post_old_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 post before old error (for free func, but same for all contracts).
 
 #include <boost/contract/function.hpp>
diff --git a/test/specify/post_pre_error.cpp b/test/specify/post_pre_error.cpp
index 8271a83..235ac98 100644
--- a/test/specify/post_pre_error.cpp
+++ b/test/specify/post_pre_error.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 post before pre error (for free func, but same for all contracts).
 
 #include <boost/contract/function.hpp>
diff --git a/test/specify/pre.cpp b/test/specify/pre.cpp
index b6ab836..9dfef27 100644
--- a/test/specify/pre.cpp
+++ b/test/specify/pre.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 only pre specified (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/pre_old.cpp b/test/specify/pre_old.cpp
index 1daa62d..4a667db 100644
--- a/test/specify/pre_old.cpp
+++ b/test/specify/pre_old.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 both pre and old (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/pre_old_post.cpp b/test/specify/pre_old_post.cpp
index cb987b5..149bee1 100644
--- a/test/specify/pre_old_post.cpp
+++ b/test/specify/pre_old_post.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 all pre, old, and post (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"
diff --git a/test/specify/pre_post.cpp b/test/specify/pre_post.cpp
index 54e1d76..0eb6e4d 100644
--- a/test/specify/pre_post.cpp
+++ b/test/specify/pre_post.cpp
@@ -1,4 +1,9 @@
 
+// Copyright (C) 2008-2016 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 both pre and post (for free func, but same for all contracts).
 
 #include "../detail/oteststream.hpp"