Release 1.50.0 beta 1

[SVN r78831]

.appveyor.yml

@@ -1,98 +0,0 @@
-# Copyright 2016, 2017 Peter Dimov
-# Copyright 2017 - 2019 James E. King III
-# Copyright 2019 - 2021 Alexander Grund
-# Distributed under the Boost Software License, Version 1.0.
-# (See accompanying file LICENSE_1_0.txt or copy at http://boost.org/LICENSE_1_0.txt)
-
-#
-# Generic Appveyor build script for boostorg repositories
-# See: https://github.com/boostorg/boost-ci/
-#
-# Instructions for customizing this script for your library:
-#
-# 1. Customize the compilers and language levels you want.
-# 2. If you have more than include/, src/, test/, example/, examples/,
-#    benchmark/ or tools/ directories, set the environment variable DEPINST.
-#    For example if your build uses code in "bench/" and "fog/" directories:
-#      - DEPINST: --include bench --include fog
-# 3. Enable pull request builds in your boostorg/<library> account.
-#
-# That's it - the script will do everything else for you.
-#
-
-version: 1.0.{build}-{branch}
-
-shallow_clone: true
-
-branches:
-  only:
-    - master
-    - develop
-    - /bugfix\/.*/
-    - /feature\/.*/
-    - /fix\/.*/
-    - /pr\/.*/
-
-skip_commits:
-  files:
-    - LICENSE
-    - meta/*
-    - README.md
-
-matrix:
-  fast_finish: false
-  # Adding MAYFAIL to any matrix job allows it to fail but the build stays green:
-  allow_failures:
-    - MAYFAIL: true
-
-environment:
-  global:
-    SELF: logic
-    B2_CI_VERSION: 1
-    GIT_FETCH_JOBS: 4
-    # see: http://www.boost.org/build/doc/html/bbv2/overview/invocation.html#bbv2.overview.invocation.properties
-    # to use the default for a given environment, comment it out; recommend you build debug and release however:
-    # on Windows it is important to exercise all the possibilities, especially shared vs static, however most
-    # libraries that care about this exercise it in their Jamfiles...
-    B2_ADDRESS_MODEL: 32,64
-    B2_LINK: shared,static
-    # B2_THREADING: threading=multi,single
-    B2_VARIANT: release
-
-  matrix:
-    - FLAVOR: Visual Studio 2017 C++2a Strict
-      APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
-      B2_CXXFLAGS: -permissive-
-      B2_CXXSTD: 2a
-      B2_TOOLSET: msvc-14.1
-
-    - FLAVOR: Visual Studio 2017 C++14/17
-      APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
-      B2_CXXSTD: 14,17
-      B2_TOOLSET: msvc-14.1
-
-    - FLAVOR: cygwin (32-bit)
-      APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
-      ADDPATH: C:\cygwin\bin;
-      B2_ADDRESS_MODEL: 32
-      B2_CXXSTD: 03,11,14,1z
-      B2_TOOLSET: gcc
-
-    - FLAVOR: cygwin (64-bit)
-      APPVEYOR_BUILD_WORKER_IMAGE: Visual Studio 2017
-      ADDPATH: C:\cygwin64\bin;
-      B2_ADDRESS_MODEL: 64
-      B2_CXXSTD: 03,11,14,1z
-      B2_TOOLSET: gcc
-
-install:
-  - git clone --depth 1 https://github.com/boostorg/boost-ci.git C:\boost-ci-cloned
-  # Copy ci folder if not testing Boost.CI
-  - if NOT "%APPVEYOR_PROJECT_NAME%" == "boost-ci" xcopy /s /e /q /i /y C:\boost-ci-cloned\ci .\ci
-  - rmdir /s /q C:\boost-ci-cloned
-  - ci\appveyor\install.bat
-
-build: off
-
-test_script: ci\build.bat
-

.codecov.yml

@@ -1,31 +0,0 @@
-# Copyright 2019 - 2021 Alexander Grund
-# Distributed under the Boost Software License, Version 1.0.
-# (See accompanying file LICENSE_1_0.txt or copy at http://boost.org/LICENSE_1_0.txt)
-#
-# Sample codecov configuration file. Edit as required
-
-codecov:
-  max_report_age: off
-  require_ci_to_pass: yes
-  notify:
-    # Increase this if you have multiple coverage collection jobs
-    after_n_builds: 2
-    wait_for_ci: yes
-
-parsers:
-  gcov:
-    branch_detection:
-      conditional: yes
-      loop: yes
-      method: no
-      macro: no
-
-# Change how pull request comments look
-comment:
-  layout: "reach,diff,flags,files,footer"
-
-# Ignore specific files or folders. Glob patterns are supported.
-# See https://docs.codecov.com/docs/ignoring-paths
-ignore:
-  - libs/logic/test/
-  - test/

.github/workflows/ci.yml

@@ -1,47 +0,0 @@
-#
-# Copyright 2020-2021 Peter Dimov
-# Copyright 2021 Andrey Semashev
-# Copyright 2021-2024 Alexander Grund
-# Copyright 2022-2025 James E. King III
-#
-# Distributed under the Boost Software License, Version 1.0.
-# (See accompanying file LICENSE_1_0.txt or copy at http://boost.org/LICENSE_1_0.txt)
-#
-# This workflow uses the Boost.CI reusable workflow which builds a variety of
-# configurations of your project, runs tests, and generates code coverage reports.
-#
-# To use it, copy this file into your repository as `.github/workflows/ci.yml` and
-# customize it appropriately.
-# 
----
-name: Boost.CI
-
-on:
-  pull_request:
-  push:
-    branches:
-      - master
-      - develop
-      - bugfix/**
-      - feature/**
-      - fix/**
-      - pr/**
-    paths-ignore:
-      - LICENSE
-      - meta/**
-      - README.md
-
-# the package is named tribool but the repository name is logic
-# so we need to inform Boost.CI which one is correct because it
-# assumes the package name is the repository name
-env:
-  SELF: logic
-
-jobs:
-  call-boost-ci:
-    name: Run Boost.CI
-    uses: boostorg/boost-ci/.github/workflows/reusable.yml@master
-    secrets:
-      CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
-      COVERITY_SCAN_NOTIFICATION_EMAIL: ${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }}
-      COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

CMakeLists.txt

@@ -1,17 +0,0 @@
-# Copyright 2018 Mike Dev
-# Distributed under the Boost Software License, Version 1.0.
-# See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt
-
-cmake_minimum_required( VERSION 3.5...3.20 )
-project( boost_logic VERSION "${BOOST_SUPERPROJECT_VERSION}" LANGUAGES CXX )
-
-add_library( boost_logic INTERFACE )
-add_library( Boost::logic ALIAS boost_logic )
-
-target_include_directories( boost_logic INTERFACE include )
-
-target_link_libraries( boost_logic
-    INTERFACE
-        Boost::config
-        Boost::core
-)

LICENSE

@@ -1,23 +0,0 @@
-Boost Software License - Version 1.0 - August 17th, 2003
-
-Permission is hereby granted, free of charge, to any person or organization
-obtaining a copy of the software and accompanying documentation covered by
-this license (the "Software") to use, reproduce, display, distribute,
-execute, and transmit the Software, and to prepare derivative works of the
-Software, and to permit third-parties to whom the Software is furnished to
-do so, all subject to the following:
-
-The copyright notices in the Software and this entire statement, including
-the above license grant, this restriction and the following disclaimer,
-must be included in all copies of the Software, in whole or in part, and
-all derivative works of the Software, unless such copies or derivative
-works are solely in the form of machine-executable object code generated by
-a source language processor.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
-SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
-FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
-ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
-DEALINGS IN THE SOFTWARE.

README.md

@@ -1,34 +0,0 @@
-Logic, part of collection of the [Boost C++ Libraries](https://github.com/boostorg), provides `boost::logic::tribool` for 3-state boolean logic.
-
-### License
-
-Distributed under the [Boost Software License, Version 1.0](https://www.boost.org/LICENSE_1_0.txt).
-
-### Properties
-
-* C++03
-* Header Only
-
-### Build Status
-
-<!-- boost-ci/tools/makebadges.sh --project logic --appveyor 8mtghg32sqgc2syg --codecov 2RCqoPxHln --coverity 16173 -->
-| Branch          | GHA CI | Appveyor | Coverity Scan | codecov.io | Deps | Docs | Tests |
-| :-------------: | ------ | -------- | ------------- | ---------- | ---- | ---- | ----- |
-| [`master`](https://github.com/boostorg/logic/tree/master) | [![Build Status](https://github.com/boostorg/logic/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/boostorg/logic/actions?query=branch:master) | [![Build status](https://ci.appveyor.com/api/projects/status/8mtghg32sqgc2syg/branch/master?svg=true)](https://ci.appveyor.com/project/cppalliance/logic/branch/master) | [![Coverity Scan Build Status](https://scan.coverity.com/projects/16173/badge.svg)](https://scan.coverity.com/projects/boostorg-logic) | [![codecov](https://codecov.io/gh/boostorg/logic/branch/master/graph/badge.svg?token=2RCqoPxHln)](https://codecov.io/gh/boostorg/logic/tree/master) | [![Deps](https://img.shields.io/badge/deps-master-brightgreen.svg)](https://pdimov.github.io/boostdep-report/master/logic.html) | [![Documentation](https://img.shields.io/badge/docs-master-brightgreen.svg)](https://www.boost.org/doc/libs/master/libs/logic) | [![Enter the Matrix](https://img.shields.io/badge/matrix-master-brightgreen.svg)](https://www.boost.org/development/tests/master/developer/logic.html)
-| [`develop`](https://github.com/boostorg/logic/tree/develop) | [![Build Status](https://github.com/boostorg/logic/actions/workflows/ci.yml/badge.svg?branch=develop)](https://github.com/boostorg/logic/actions?query=branch:develop) | [![Build status](https://ci.appveyor.com/api/projects/status/8mtghg32sqgc2syg/branch/develop?svg=true)](https://ci.appveyor.com/project/cppalliance/logic/branch/develop) | [![Coverity Scan Build Status](https://scan.coverity.com/projects/16173/badge.svg)](https://scan.coverity.com/projects/boostorg-logic) | [![codecov](https://codecov.io/gh/boostorg/logic/branch/develop/graph/badge.svg?token=2RCqoPxHln)](https://codecov.io/gh/boostorg/logic/tree/develop) | [![Deps](https://img.shields.io/badge/deps-develop-brightgreen.svg)](https://pdimov.github.io/boostdep-report/develop/logic.html) | [![Documentation](https://img.shields.io/badge/docs-develop-brightgreen.svg)](https://www.boost.org/doc/libs/develop/libs/logic) | [![Enter the Matrix](https://img.shields.io/badge/matrix-develop-brightgreen.svg)](https://www.boost.org/development/tests/develop/developer/logic.html)
-
-### Directories
-
-| Name        | Purpose                        |
-| ----------- | ------------------------------ |
-| `doc`       | documentation                  |
-| `example`   | examples                       |
-| `include`   | headers                        |
-| `test`      | unit tests                     |
-
-### More information
-
-* [Ask questions](https://stackoverflow.com/questions/ask?tags=c%2B%2B,boost,boost-logic)
-* [Report bugs](https://github.com/boostorg/logic/issues): Be sure to mention Boost version, platform and compiler you're using. A small compilable code sample to reproduce the problem is always good as well.
-* Submit your patches as pull requests against **develop** branch. Note that by submitting patches you agree to license your modifications under the [Boost Software License, Version 1.0](https://www.boost.org/LICENSE_1_0.txt).
-* Discussions about the library are held on the [Boost developers mailing list](https://www.boost.org/community/groups.html#main). Be sure to read the [discussion policy](https://www.boost.org/community/policy.html) before posting and add the `[logic]` tag at the beginning of the subject line.

build.jam

@@ -1,24 +0,0 @@
-# Copyright René Ferdinand Rivera Morell 2023-2024
-# Distributed under the Boost Software License, Version 1.0.
-# (See accompanying file LICENSE_1_0.txt or copy at
-# http://www.boost.org/LICENSE_1_0.txt)
-
-require-b2 5.2 ;
-
-constant boost_dependencies :
-    /boost/config//boost_config
-    /boost/core//boost_core ;
-
-project /boost/logic
-    : common-requirements
-        <include>include
-    ;
-
-explicit
-    [ alias boost_logic : : : : <library>$(boost_dependencies) ]
-    [ alias all : boost_logic test ]
-    ;
-
-call-if : boost-library logic
-    ;
-

doc/Jamfile.v2

@@ -1,36 +1,16 @@
-# Tribool library
-
-# Copyright (C) 2002-2003 Douglas Gregor
-
-# Use, modification and distribution is subject to the Boost Software License,
-# Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-# http://www.boost.org/LICENSE_1_0.txt)
-
-# For more information, see http://www.boost.org/
-
 project boost-sandbox/utility/doc ;
 import boostbook ;
 import doxygen ;
 
-doxygen reference : [ glob ../include/boost/logic/tribool.hpp ]
-                    [ glob ../include/boost/logic/tribool_fwd.hpp ]
-                    [ glob ../include/boost/logic/tribool_io.hpp ]
+doxygen reference : [ glob ../../../boost/logic/tribool.hpp ]
+                    [ glob ../../../boost/logic/tribool_fwd.hpp ]
+                    [ glob ../../../boost/logic/tribool_io.hpp ]
                   ;
-boostbook tribool
-    :
-    tribool.boostbook
+boostbook tribool 
+    : 
+    tribool.boostbook 
     :
         <xsl:param>boost.root=../../../..
         <format>pdf:<xsl:param>boost.url.prefix=http://www.boost.org/doc/libs/release/doc/html
         <dependency>reference
     ;
-
-###############################################################################
-alias boostdoc
-    : tribool/<format>docbook
-    :
-    :
-    : ;
-explicit boostdoc ;
-alias boostrelease ;
-explicit boostrelease ;

doc/tribool.boostbook

@@ -138,18 +138,6 @@ if (<functionname>indeterminate</functionname>(x)) {
 else {
   // report success or failure of x
 }</programlisting>
-
-  <para> All the logical operators and methods of <code><classname>tribool</classname></code> are marked
-  as <code>constexpr</code> in C++11. It means that <code><classname>tribool</classname></code> can
-  be used in compile time expressions:</para>
-
-  <programlisting>constexpr <classname>tribool</classname> x = (tribool(true) || tribool(indeterminate));
-<functionname>static_assert</functionname>(x, "Must be true!");
-</programlisting>
-
-  <note>Some compilers may have troubles with evaluating <code>tribool::operator safe_bool()</code> at compile time.</note>
-
-
 </section>
   
   <section>

include/boost/logic/tribool.hpp

@@ -14,7 +14,7 @@
 #include <boost/config.hpp>
 #include <boost/detail/workaround.hpp>
 
-#ifdef BOOST_HAS_PRAGMA_ONCE
+#if BOOST_WORKAROUND(_MSC_VER, >= 1200)
 #  pragma once
 #endif
 
@@ -30,7 +30,7 @@ namespace detail {
  */
 struct indeterminate_t
 {
-#if BOOST_WORKAROUND(BOOST_BORLANDC, < 0x0600)
+#if BOOST_WORKAROUND(__BORLANDC__, < 0x0600)
   char dummy_; // BCB would use 8 bytes by default
 #endif
 };
@@ -59,9 +59,9 @@ typedef bool (*indeterminate_keyword_t)(tribool, detail::indeterminate_t);
  * \returns <tt>x.value == tribool::indeterminate_value</tt>
  * \throws nothrow
  */
-BOOST_CONSTEXPR inline bool
+inline bool
 indeterminate(tribool x,
-              detail::indeterminate_t dummy = detail::indeterminate_t()) BOOST_NOEXCEPT;
+              detail::indeterminate_t dummy = detail::indeterminate_t());
 
 /**
  * \brief A 3-state boolean type.
@@ -71,7 +71,6 @@ indeterminate(tribool x,
  */
 class tribool
 {
-#if defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
 private:
   /// INTERNAL ONLY
   struct dummy {
@@ -79,7 +78,6 @@ private:
   };
 
   typedef void (dummy::*safe_bool)();
-#endif
 
 public:
   /**
@@ -87,7 +85,7 @@ public:
    *
    * \throws nothrow
    */
-  BOOST_CONSTEXPR tribool() BOOST_NOEXCEPT : value(false_value) {}
+  tribool() : value(false_value) {}
 
   /**
    * Construct a new 3-state boolean value with the given boolean
@@ -95,14 +93,14 @@ public:
    *
    * \throws nothrow
    */
-  BOOST_CONSTEXPR tribool(bool initial_value) BOOST_NOEXCEPT : value(initial_value? true_value : false_value) {}
+  tribool(bool initial_value) : value(initial_value? true_value : false_value) {}
 
   /**
    * Construct a new 3-state boolean value with an indeterminate value.
    *
    * \throws nothrow
    */
-  BOOST_CONSTEXPR tribool(indeterminate_keyword_t) BOOST_NOEXCEPT : value(indeterminate_value) {}
+  tribool(indeterminate_keyword_t) : value(indeterminate_value) {}
 
   /**
    * Use a 3-state boolean in a boolean context. Will evaluate true in a
@@ -111,22 +109,11 @@ public:
    * \returns true if the 3-state boolean is true, false otherwise
    * \throws nothrow
    */
-#if !defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
-
-  BOOST_CONSTEXPR explicit operator bool () const BOOST_NOEXCEPT
-  {
-    return value == true_value;
-  }
-
-#else
-
-  BOOST_CONSTEXPR operator safe_bool() const BOOST_NOEXCEPT
+  operator safe_bool() const
   {
     return value == true_value? &dummy::nonnull : 0;
   }
 
-#endif
-
   /**
    * The actual stored value in this 3-state boolean, which may be false, true,
    * or indeterminate.
@@ -136,7 +123,7 @@ public:
 
 // Check if the given tribool has an indeterminate value. Also doubles as a
 // keyword for the 'indeterminate' value
-BOOST_CONSTEXPR inline bool indeterminate(tribool x, detail::indeterminate_t) BOOST_NOEXCEPT
+inline bool indeterminate(tribool x, detail::indeterminate_t)
 {
   return x.value == tribool::indeterminate_value;
 }
@@ -169,7 +156,7 @@ BOOST_CONSTEXPR inline bool indeterminate(tribool x, detail::indeterminate_t) BO
  *  </table>
  * \throws nothrow
  */
-BOOST_CONSTEXPR inline tribool operator!(tribool x) BOOST_NOEXCEPT
+inline tribool operator!(tribool x)
 {
   return x.value == tribool::false_value? tribool(true)
         :x.value == tribool::true_value? tribool(false)
@@ -177,7 +164,7 @@ BOOST_CONSTEXPR inline tribool operator!(tribool x) BOOST_NOEXCEPT
 }
 
 /**
- * \brief Computes the logical conjunction of two tribools
+ * \brief Computes the logical conjuction of two tribools
  *
  * \returns the result of logically ANDing the two tribool values,
  * according to the following table:
@@ -209,36 +196,38 @@ BOOST_CONSTEXPR inline tribool operator!(tribool x) BOOST_NOEXCEPT
  *       </table>
  * \throws nothrow
  */
-BOOST_CONSTEXPR inline tribool operator&&(tribool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator&&(tribool x, tribool y)
 {
-  return (static_cast<bool>(!x) || static_cast<bool>(!y))
-    ? tribool(false)
-    : ((static_cast<bool>(x) && static_cast<bool>(y)) ? tribool(true) : indeterminate)
-  ;
+  if (static_cast<bool>(!x) || static_cast<bool>(!y))
+    return false;
+  else if (static_cast<bool>(x) && static_cast<bool>(y))
+    return true;
+  else
+    return indeterminate;
 }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator&&(tribool x, bool y) BOOST_NOEXCEPT
+inline tribool operator&&(tribool x, bool y)
 { return y? x : tribool(false); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator&&(bool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator&&(bool x, tribool y)
 { return x? y : tribool(false); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator&&(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
+inline tribool operator&&(indeterminate_keyword_t, tribool x)
 { return !x? tribool(false) : tribool(indeterminate); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator&&(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
+inline tribool operator&&(tribool x, indeterminate_keyword_t)
 { return !x? tribool(false) : tribool(indeterminate); }
 
 /**
@@ -274,36 +263,38 @@ BOOST_CONSTEXPR inline tribool operator&&(tribool x, indeterminate_keyword_t) BO
  *       </table>
  *  \throws nothrow
  */
-BOOST_CONSTEXPR inline tribool operator||(tribool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator||(tribool x, tribool y)
 {
-  return (static_cast<bool>(!x) && static_cast<bool>(!y))
-    ? tribool(false)
-    : ((static_cast<bool>(x) || static_cast<bool>(y)) ? tribool(true) : tribool(indeterminate))
-  ;
+  if (static_cast<bool>(!x) && static_cast<bool>(!y))
+    return false;
+  else if (static_cast<bool>(x) || static_cast<bool>(y))
+    return true;
+  else
+    return indeterminate;
 }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator||(tribool x, bool y) BOOST_NOEXCEPT
+inline tribool operator||(tribool x, bool y)
 { return y? tribool(true) : x; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator||(bool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator||(bool x, tribool y)
 { return x? tribool(true) : y; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator||(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
+inline tribool operator||(indeterminate_keyword_t, tribool x)
 { return x? tribool(true) : tribool(indeterminate); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator||(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
+inline tribool operator||(tribool x, indeterminate_keyword_t)
 { return x? tribool(true) : tribool(indeterminate); }
 //@}
 
@@ -340,34 +331,34 @@ BOOST_CONSTEXPR inline tribool operator||(tribool x, indeterminate_keyword_t) BO
  *      </table>
  * \throws nothrow
  */
-BOOST_CONSTEXPR inline tribool operator==(tribool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator==(tribool x, tribool y)
 {
-  return (indeterminate(x) || indeterminate(y))
-    ? indeterminate
-    : ((x && y) || (!x && !y))
-  ;
+  if (indeterminate(x) || indeterminate(y))
+    return indeterminate;
+  else
+    return (x && y) || (!x && !y);
 }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator==(tribool x, bool y) BOOST_NOEXCEPT { return x == tribool(y); }
+inline tribool operator==(tribool x, bool y) { return x == tribool(y); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator==(bool x, tribool y) BOOST_NOEXCEPT { return tribool(x) == y; }
+inline tribool operator==(bool x, tribool y) { return tribool(x) == y; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator==(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
+inline tribool operator==(indeterminate_keyword_t, tribool x)
 { return tribool(indeterminate) == x; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator==(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
+inline tribool operator==(tribool x, indeterminate_keyword_t)
 { return tribool(indeterminate) == x; }
 
 /**
@@ -403,34 +394,34 @@ BOOST_CONSTEXPR inline tribool operator==(tribool x, indeterminate_keyword_t) BO
  *       </table>
  * \throws nothrow
  */
-BOOST_CONSTEXPR inline tribool operator!=(tribool x, tribool y) BOOST_NOEXCEPT
+inline tribool operator!=(tribool x, tribool y)
 {
-  return (indeterminate(x) || indeterminate(y))
-    ? indeterminate
-    : !((x && y) || (!x && !y))
-  ;
+  if (indeterminate(x) || indeterminate(y))
+    return indeterminate;
+  else
+    return !((x && y) || (!x && !y));
 }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator!=(tribool x, bool y) BOOST_NOEXCEPT { return x != tribool(y); }
+inline tribool operator!=(tribool x, bool y) { return x != tribool(y); }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator!=(bool x, tribool y) BOOST_NOEXCEPT { return tribool(x) != y; }
+inline tribool operator!=(bool x, tribool y) { return tribool(x) != y; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator!=(indeterminate_keyword_t, tribool x) BOOST_NOEXCEPT
+inline tribool operator!=(indeterminate_keyword_t, tribool x)
 { return tribool(indeterminate) != x; }
 
 /**
  * \overload
  */
-BOOST_CONSTEXPR inline tribool operator!=(tribool x, indeterminate_keyword_t) BOOST_NOEXCEPT
+inline tribool operator!=(tribool x, indeterminate_keyword_t)
 { return x != tribool(indeterminate); }
 
 } } // end namespace boost::logic

include/boost/logic/tribool_io.hpp

@@ -11,7 +11,7 @@
 #include <boost/detail/workaround.hpp>
 #include <boost/noncopyable.hpp>
 
-#if defined(_MSC_VER)
+#if BOOST_WORKAROUND(_MSC_VER, >= 1200)
 #  pragma once
 #endif
 
@@ -45,7 +45,7 @@ template<>
 inline std::basic_string<char> default_false_name<char>()
 { return "false"; }
 
-#  if !defined(BOOST_NO_CWCHAR)
+#  ifndef BOOST_NO_WCHAR_T
 /**
  * \brief Returns the wide character string L"false".
  *
@@ -76,7 +76,7 @@ template<>
 inline std::basic_string<char> default_true_name<char>()
 { return "true"; }
 
-#  if !defined(BOOST_NO_CWCHAR)
+#  ifndef BOOST_NO_WCHAR_T
 /**
  * \brief Returns the wide character string L"true".
  *
@@ -104,11 +104,17 @@ template<>
 inline std::basic_string<char> get_default_indeterminate_name<char>()
 { return "indeterminate"; }
 
-#if !defined(BOOST_NO_CWCHAR)
+#if BOOST_WORKAROUND(BOOST_MSVC, < 1300)
+// VC++ 6.0 chokes on the specialization below, so we're stuck without 
+// wchar_t support. What a pain. TODO: it might just need a the template 
+// parameter as function parameter...
+#else
+#  ifndef BOOST_NO_WCHAR_T
 /// Returns the wide character string L"indeterminate".
 template<>
 inline std::basic_string<wchar_t> get_default_indeterminate_name<wchar_t>()
 { return L"indeterminate"; }
+#  endif
 #endif
 
 // http://www.cantrip.org/locale.html
@@ -279,9 +285,9 @@ operator>>(std::basic_istream<CharT, Traits>& in, tribool& x)
       bool falsename_ok = true, truename_ok = true, othername_ok = true;
 
       // Modeled after the code from Library DR 17
-      while ((falsename_ok && pos < falsename.size())
-             || (truename_ok && pos < truename.size())
-             || (othername_ok && pos < othername.size())) {
+      while (falsename_ok && pos < falsename.size()
+             || truename_ok && pos < truename.size()
+             || othername_ok && pos < othername.size()) {
         typename Traits::int_type c = in.get();
         if (c == Traits::eof())
           return in;

meta/libraries.json

@@ -1,16 +0,0 @@
-{
-    "key": "logic/tribool",
-    "name": "Tribool",
-    "authors": [
-        "Doug Gregor"
-    ],
-    "description": "3-state boolean type library.",
-    "documentation": "/doc/html/tribool.html",
-    "category": [
-        "Miscellaneous"
-    ],
-    "maintainers": [
-        "Douglas Gregor <dgregor -at- cs.indiana.edu>"
-    ],
-    "cxxstd": "03"
-}

test/Jamfile.v2

@@ -2,63 +2,16 @@
 
 # Copyright (C) 2002-2003 Douglas Gregor
 
-# Use, modification and distribution is subject to the Boost Software License,
-# Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-# http://www.boost.org/LICENSE_1_0.txt)
+# Use, modification and distribution is subject to the Boost Software License, 
+# Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at 
+# http://www.boost.org/LICENSE_1_0.txt) 
 
 # For more information, see http://www.boost.org/
 
-import path ;
-import os ;
-import regex ;
-import testing ;
-
-path-constant self : . ;
-
-project : requirements <library>/boost/logic//boost_logic ;
-
-rule test-expected-failures
-{
-    local all_rules = ;
-    local file ;
-    local tests_path = [ path.make $(self)/../test/compile-fail ] ;
-    for file in [ path.glob-tree $(tests_path) : *.cpp ]
-    {
-        local rel_file = [ path.relative-to $(tests_path) $(file) ] ;
-        local test_name = [ regex.replace [ regex.replace $(rel_file) "/" "-" ] ".cpp" "" ] ;
-        local decl_test_name = cf-$(test_name) ;
-        # ECHO $(rel_file) ;
-        all_rules += [ compile-fail $(file) : : $(decl_test_name) ] ;
-    }
-
-    # ECHO All rules: $(all_rules) ;
-    return $(all_rules) ;
-}
-
-rule test-header-isolation
-{
-    local all_rules = ;
-    local file ;
-    local headers_path = [ path.make $(self)/../include ] ;
-    for file in [ path.glob-tree $(headers_path) : *.hpp ]
-    {
-        local rel_file = [ path.relative-to $(headers_path) $(file) ] ;
-        # Note: The test name starts with '~' in order to group these tests in the test report table, preferably at the end.
-        #       All '/' are replaced with '-' because apparently test scripts have a problem with test names containing slashes.
-        local test_name = [ regex.replace $(rel_file) "/" "-" ] ;
-        local decl_test_name = ~hdr-decl-$(test_name) ;
-        # ECHO $(rel_file) ;
-        all_rules += [ compile compile/decl_header.cpp : <define>"BOOST_TEST_HEADER=$(rel_file)" <dependency>$(file) : $(decl_test_name) ] ;
-    }
-
-    # ECHO All rules: $(all_rules) ;
-    return $(all_rules) ;
-}
-
-  test-suite logic  :
-    [ test-expected-failures ]
-    [ test-header-isolation ]
+  test-suite logic  : 
     [ run tribool_test.cpp ]
     [ run tribool_rename_test.cpp ]
     [ run tribool_io_test.cpp ]
    ;
+
+      

test/cmake_test/CMakeLists.txt

@@ -1,22 +0,0 @@
-# Copyright 2021-2024 Alexander Grund
-# Distributed under the Boost Software License, Version 1.0.
-# See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt
-
-cmake_minimum_required(VERSION 3.5...3.16)
-
-project(cmake_subdir_test LANGUAGES CXX)
-
-# Those 2 should work the same
-# while using find_package for the installed Boost avoids the need to manually specify dependencies
-if(BOOST_CI_INSTALL_TEST)
-    find_package(boost_logic REQUIRED)
-else()
-    set(BOOST_INCLUDE_LIBRARIES logic)
-    add_subdirectory(../../../.. deps/boost EXCLUDE_FROM_ALL)
-endif()
-
-add_executable(main main.cpp)
-target_link_libraries(main Boost::logic)
-
-enable_testing()
-add_test(NAME main COMMAND main)

test/cmake_test/main.cpp

@@ -1,30 +0,0 @@
-// Copyright Douglas Gregor 2002-2003. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main()
-{
-  using namespace boost::logic;
-
-  tribool x; // false
-  tribool y(true); // true
-  tribool z(indeterminate); // indeterminate
-
-#if defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
-  // c++03 allows for implicit conversion to bool
-  // c++11 uses an explicit conversion operator so this would not compile
-  //       and that is tested in the compile-fail/implicit.cpp file
-  // so we check the conversion to ensure it is sane
-  bool bx = x;
-  assert(bx == false);
-  bool by = y;
-  assert(by == true);
-  bool bz = z;
-  assert(bz == false);
-#endif
-
-  return 0;
-}

test/compile-fail/implicit.cpp

@@ -1,23 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::indeterminate;
-  using boost::logic::tribool;
-
-  tribool i(indeterminate);
-
-#if !defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
-  bool b = i; // expect to see: no viable conversion from 'boost::logic::tribool' to 'bool'
-  return (int)b;
-#else
-#error in c++03 explicit conversions are allowed
-#endif
-  // NOTREACHED
-  return 0;
-}

test/compile-fail/implicit_int_1.cpp

@@ -1,16 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::indeterminate;
-  using boost::logic::tribool;
-
-  tribool i(indeterminate);
-
-  return i; // expect to see: error: no viable conversion from returned value of type 'boost::logic::tribool' to function return type 'int'
-}

test/compile-fail/implicit_int_2.cpp

@@ -1,16 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::indeterminate;
-  using boost::logic::tribool;
-
-  tribool i(indeterminate);
-
-  return i + 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
-}

test/compile-fail/implicit_int_3.cpp

@@ -1,16 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::indeterminate;
-  using boost::logic::tribool;
-
-  tribool i(indeterminate);
-
-  return i << 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
-}

test/compile-fail/operator_less_1.cpp

@@ -1,16 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::tribool;
-
-  tribool f;       // false
-  tribool t(true); // true
-
-  return f < t; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'boost::logic::tribool')
-}

test/compile-fail/operator_less_2.cpp

@@ -1,15 +0,0 @@
-// Copyright 2018 James E. King III. Use, modification and
-// distribution is subject to the Boost Software License, Version
-// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
-// http://www.boost.org/LICENSE_1_0.txt)
-
-#include <boost/logic/tribool.hpp>
-
-int main(int, char*[])
-{
-  using boost::logic::tribool;
-
-  tribool t(true);
-
-  return t < 1; // expect to see: error: invalid operands to binary expression ('boost::logic::tribool' and 'int')
-}

test/compile/decl_header.cpp

@@ -1,24 +0,0 @@
-/*
- *             Copyright Andrey Semashev 2015.
- * Distributed under the Boost Software License, Version 1.0.
- *    (See accompanying file LICENSE_1_0.txt or copy at
- *          http://www.boost.org/LICENSE_1_0.txt)
- */
-/*!
- * \file   decl_header.cpp
- * \author Andrey Semashev
- * \date   21.06.2015
- *
- * \brief  This file contains a test boilerplate for checking that every
- *         public header is self-contained and does not have any missing
- *         #includes.
- */
-
-#define BOOST_TEST_INCLUDE_HEADER() <BOOST_TEST_HEADER>
-
-#include BOOST_TEST_INCLUDE_HEADER()
-
-int main(int, char*[])
-{
-    return 0;
-}

test/tribool_io_test.cpp

@@ -4,7 +4,7 @@
 // http://www.boost.org/LICENSE_1_0.txt)
 #include <boost/logic/tribool.hpp>
 #include <boost/logic/tribool_io.hpp>
-#include <boost/core/lightweight_test.hpp>
+#include <boost/test/minimal.hpp>
 #include <sstream>
 #include <string>
 #include <iostream>
@@ -14,24 +14,12 @@
 #  include <locale>
 #endif
 
-int main()
+int test_main(int, char*[])
 {
   using namespace boost::logic;
 
   tribool x;
 
-  #if !defined(BOOST_NO_CWCHAR) && !defined(BOOST_NO_STD_WSTRING)
-  std::wostringstream wout;
-  wout << std::boolalpha << tribool(false);
-  BOOST_TEST(wout.str() == L"false");
-  wout.str(std::wstring());
-  wout << std::boolalpha << tribool(true);
-  BOOST_TEST(wout.str() == L"true");
-  wout.str(std::wstring());
-  wout << std::boolalpha << tribool(indeterminate);
-  BOOST_TEST(wout.str() == L"indeterminate");
-  #endif
-
   // Check tribool output
   std::ostringstream out;
 
@@ -40,14 +28,14 @@ int main()
   x = false;
   out << x;
   std::cout << "Output false (noboolalpha): " << out.str() << std::endl;
-  BOOST_TEST(out.str() == "0");
+  BOOST_CHECK(out.str() == "0");
 
   // Output true (noboolalpha)
   out.str(std::string());
   x = true;
   out << x;
   std::cout << "Output true (noboolalpha): " << out.str() << std::endl;
-  BOOST_TEST(out.str() == "1");
+  BOOST_CHECK(out.str() == "1");
 
   // Output indeterminate (noboolalpha)
   out.str(std::string());
@@ -55,14 +43,14 @@ int main()
   out << x;
   std::cout << "Output indeterminate (noboolalpha): " << out.str()
             << std::endl;
-  BOOST_TEST(out.str() == "2");
+  BOOST_CHECK(out.str() == "2");
 
   // Output indeterminate (noboolalpha)
   out.str(std::string());
   out << indeterminate;
   std::cout << "Output indeterminate (noboolalpha): " << out.str()
             << std::endl;
-  BOOST_TEST(out.str() == "2");
+  BOOST_CHECK(out.str() == "2");
 
 #ifndef BOOST_NO_STD_LOCALE
   const std::numpunct<char>& punct =
@@ -73,7 +61,7 @@ int main()
   x = false;
   out << std::boolalpha << x;
   std::cout << "Output false (boolalpha): " << out.str() << std::endl;
-  BOOST_TEST(out.str() == punct.falsename());
+  BOOST_CHECK(out.str() == punct.falsename());
 
   // Output true (boolalpha)
   out.str(std::string());
@@ -81,7 +69,7 @@ int main()
   out << std::boolalpha << x;
   std::cout << "Output true (boolalpha): " << out.str() << std::endl;
 
-  BOOST_TEST(out.str() == punct.truename());
+  BOOST_CHECK(out.str() == punct.truename());
 
   // Output indeterminate (boolalpha - default name)
   out.str(std::string());
@@ -89,14 +77,14 @@ int main()
   out << std::boolalpha << x;
   std::cout << "Output indeterminate (boolalpha - default name): " << out.str()
             << std::endl;
-  BOOST_TEST(out.str() == "indeterminate");
+  BOOST_CHECK(out.str() == "indeterminate");
 
   // Output indeterminate (boolalpha - default name)
   out.str(std::string());
   out << std::boolalpha << indeterminate;
   std::cout << "Output indeterminate (boolalpha - default name): " << out.str()
             << std::endl;
-  BOOST_TEST(out.str() == "indeterminate");
+  BOOST_CHECK(out.str() == "indeterminate");
 
 #  if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
   // No template constructors, so we can't build the test locale
@@ -109,7 +97,7 @@ int main()
   out << std::boolalpha << x;
   std::cout << "Output indeterminate (boolalpha - \"maybe\"): " << out.str()
             << std::endl;
-  BOOST_TEST(out.str() == "maybe");
+  BOOST_CHECK(out.str() == "maybe");
 #  endif
 #endif // ! BOOST_NO_STD_LOCALE
 
@@ -120,7 +108,7 @@ int main()
     std::istringstream in("0");
     std::cout << "Input \"0\" (checks for false)" << std::endl;
     in >> x;
-    BOOST_TEST(x == false);
+    BOOST_CHECK(x == false);
   }
 
   // Input true (noboolalpha)
@@ -128,7 +116,7 @@ int main()
     std::istringstream in("1");
     std::cout << "Input \"1\" (checks for true)" << std::endl;
     in >> x;
-    BOOST_TEST(x == true);
+    BOOST_CHECK(x == true);
   }
 
   // Input false (noboolalpha)
@@ -136,14 +124,14 @@ int main()
     std::istringstream in("2");
     std::cout << "Input \"2\" (checks for indeterminate)" << std::endl;
     in >> x;
-    BOOST_TEST(indeterminate(x));
+    BOOST_CHECK(indeterminate(x));
   }
 
   // Input bad number (noboolalpha)
   {
     std::istringstream in("3");
     std::cout << "Input \"3\" (checks for failure)" << std::endl;
-    BOOST_TEST(!(in >> x));
+    BOOST_CHECK(!(in >> x));
   }
 
   // Input false (boolalpha)
@@ -151,7 +139,7 @@ int main()
     std::istringstream in("false");
     std::cout << "Input \"false\" (checks for false)" << std::endl;
     in >> std::boolalpha >> x;
-    BOOST_TEST(x == false);
+    BOOST_CHECK(x == false);
   }
 
   // Input true (boolalpha)
@@ -159,7 +147,7 @@ int main()
     std::istringstream in("true");
     std::cout << "Input \"true\" (checks for true)" << std::endl;
     in >> std::boolalpha >> x;
-    BOOST_TEST(x == true);
+    BOOST_CHECK(x == true);
   }
 
   // Input indeterminate (boolalpha)
@@ -168,7 +156,7 @@ int main()
     std::cout << "Input \"indeterminate\" (checks for indeterminate)"
               << std::endl;
     in >> std::boolalpha >> x;
-    BOOST_TEST(indeterminate(x));
+    BOOST_CHECK(indeterminate(x));
   }
 
   // Input bad string (boolalpha)
@@ -176,7 +164,7 @@ int main()
     std::istringstream in("bad");
     std::cout << "Input \"bad\" (checks for failure)"
               << std::endl;
-    BOOST_TEST(!(in >> std::boolalpha >> x));
+    BOOST_CHECK(!(in >> std::boolalpha >> x));
   }
 
 #if BOOST_WORKAROUND(BOOST_DINKUMWARE_STDLIB, == 1)
@@ -190,7 +178,7 @@ int main()
     std::cout << "Input \"maybe\" (checks for indeterminate, uses locales)"
               << std::endl;
     in >> std::boolalpha >> x;
-    BOOST_TEST(indeterminate(x));
+    BOOST_CHECK(indeterminate(x));
   }
 
   // Input indeterminate named "true_or_false" (boolalpha)
@@ -202,9 +190,9 @@ int main()
     std::cout << "Input \"true_or_false\" (checks for indeterminate)"
               << std::endl;
     in >> std::boolalpha >> x;
-    BOOST_TEST(indeterminate(x));
+    BOOST_CHECK(indeterminate(x));
   }
 #endif
 
-  return boost::report_errors();
+  return 0;
 }

test/tribool_rename_test.cpp

@@ -6,12 +6,12 @@
 // For more information, see http://www.boost.org
 
 #include <boost/logic/tribool.hpp>
-#include <boost/core/lightweight_test.hpp>
+#include <boost/test/minimal.hpp>
 #include <iostream>
 
 BOOST_TRIBOOL_THIRD_STATE(maybe)
 
-int main()
+int test_main(int,char*[])
 {
   using namespace boost::logic;
 
@@ -19,104 +19,105 @@ int main()
   tribool y(true); // true
   tribool z(maybe); // maybe
 
-  BOOST_TEST(!x);
-  BOOST_TEST(x == false);
-  BOOST_TEST(false == x);
-  BOOST_TEST(x != true);
-  BOOST_TEST(true != x);
-  BOOST_TEST(maybe(x == maybe));
-  BOOST_TEST(maybe(maybe == x));
-  BOOST_TEST(maybe(x != maybe));
-  BOOST_TEST(maybe(maybe != x));
-  BOOST_TEST(x == x);
-  BOOST_TEST(!(x != x));
-  BOOST_TEST(!(x && true));
-  BOOST_TEST(!(true && x));
-  BOOST_TEST(x || true);
-  BOOST_TEST(true || x);
+  BOOST_CHECK(!x);
+  BOOST_CHECK(x == false);
+  BOOST_CHECK(false == x);
+  BOOST_CHECK(x != true);
+  BOOST_CHECK(true != x);
+  BOOST_CHECK(maybe(x == maybe));
+  BOOST_CHECK(maybe(maybe == x));
+  BOOST_CHECK(maybe(x != maybe));
+  BOOST_CHECK(maybe(maybe != x));
+  BOOST_CHECK(x == x);
+  BOOST_CHECK(!(x != x));
+  BOOST_CHECK(!(x && true));
+  BOOST_CHECK(!(true && x));
+  BOOST_CHECK(x || true);
+  BOOST_CHECK(true || x);
 
-  BOOST_TEST(y);
-  BOOST_TEST(y == true);
-  BOOST_TEST(true == y);
-  BOOST_TEST(y != false);
-  BOOST_TEST(false != y);
-  BOOST_TEST(maybe(y == maybe));
-  BOOST_TEST(maybe(maybe == y));
-  BOOST_TEST(maybe(y != maybe));
-  BOOST_TEST(maybe(maybe != y));
-  BOOST_TEST(y == y);
-  BOOST_TEST(!(y != y));
+  BOOST_CHECK(y);
+  BOOST_CHECK(y == true);
+  BOOST_CHECK(true == y);
+  BOOST_CHECK(y != false);
+  BOOST_CHECK(false != y);
+  BOOST_CHECK(maybe(y == maybe));
+  BOOST_CHECK(maybe(maybe == y));
+  BOOST_CHECK(maybe(y != maybe));
+  BOOST_CHECK(maybe(maybe != y));
+  BOOST_CHECK(y == y);
+  BOOST_CHECK(!(y != y));
 
-  BOOST_TEST(maybe(z || !z));
-  BOOST_TEST(maybe(z == true));
-  BOOST_TEST(maybe(true == z));
-  BOOST_TEST(maybe(z == false));
-  BOOST_TEST(maybe(false == z));
-  BOOST_TEST(maybe(z == maybe));
-  BOOST_TEST(maybe(maybe == z));
-  BOOST_TEST(maybe(z != maybe));
-  BOOST_TEST(maybe(maybe != z));
-  BOOST_TEST(maybe(z == z));
-  BOOST_TEST(maybe(z != z));
+  BOOST_CHECK(maybe(z || !z));
+  BOOST_CHECK(maybe(z == true));
+  BOOST_CHECK(maybe(true == z));
+  BOOST_CHECK(maybe(z == false));
+  BOOST_CHECK(maybe(false == z));
+  BOOST_CHECK(maybe(z == maybe));
+  BOOST_CHECK(maybe(maybe == z));
+  BOOST_CHECK(maybe(z != maybe));
+  BOOST_CHECK(maybe(maybe != z));
+  BOOST_CHECK(maybe(z == z));
+  BOOST_CHECK(maybe(z != z));
 
-  BOOST_TEST(!(x == y));
-  BOOST_TEST(x != y);
-  BOOST_TEST(maybe(x == z));
-  BOOST_TEST(maybe(x != z));
-  BOOST_TEST(maybe(y == z));
-  BOOST_TEST(maybe(y != z));
+  BOOST_CHECK(!(x == y));
+  BOOST_CHECK(x != y);
+  BOOST_CHECK(maybe(x == z));
+  BOOST_CHECK(maybe(x != z));
+  BOOST_CHECK(maybe(y == z));
+  BOOST_CHECK(maybe(y != z));
 
-  BOOST_TEST(!(x && y));
-  BOOST_TEST(x || y);
-  BOOST_TEST(!(x && z));
-  BOOST_TEST(maybe(y && z));
-  BOOST_TEST(maybe(z && z));
-  BOOST_TEST(maybe(z || z));
-  BOOST_TEST(maybe(x || z));
-  BOOST_TEST(y || z);
+  BOOST_CHECK(!(x && y));
+  BOOST_CHECK(x || y);
+  BOOST_CHECK(!(x && z));
+  BOOST_CHECK(maybe(y && z));
+  BOOST_CHECK(maybe(z && z));
+  BOOST_CHECK(maybe(z || z));
+  BOOST_CHECK(maybe(x || z));
+  BOOST_CHECK(y || z);
 
-  BOOST_TEST(maybe(y && maybe));
-  BOOST_TEST(maybe(maybe && y));
-  BOOST_TEST(!(x && maybe));
-  BOOST_TEST(!(maybe && x));
+  BOOST_CHECK(maybe(y && maybe));
+  BOOST_CHECK(maybe(maybe && y));
+  BOOST_CHECK(!(x && maybe));
+  BOOST_CHECK(!(maybe && x));
 
-  BOOST_TEST(maybe || y);
-  BOOST_TEST(y || maybe);
-  BOOST_TEST(maybe(x || maybe));
-  BOOST_TEST(maybe(maybe || x));
+  BOOST_CHECK(maybe || y);
+  BOOST_CHECK(y || maybe);
+  BOOST_CHECK(maybe(x || maybe));
+  BOOST_CHECK(maybe(maybe || x));
 
   // Test the if (z) ... else (!z) ... else ... idiom
   if (z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else if (!z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
 
   z = true;
   if (z) {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
   else if (!z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
 
   z = false;
   if (z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else if (!z) {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
   else {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
 
-  return boost::report_errors();
+  std::cout << "no errors detected\n";
+  return 0;
 }

test/tribool_test.cpp

@@ -3,13 +3,11 @@
 // 1.0. (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 
-#include <boost/config.hpp>
 #include <boost/logic/tribool.hpp>
-#include <boost/core/lightweight_test.hpp>
-#include <boost/static_assert.hpp>
+#include <boost/test/minimal.hpp>
 #include <iostream>
 
-int main()
+int test_main(int, char*[])
 {
   using namespace boost::logic;
 
@@ -17,138 +15,105 @@ int main()
   tribool y(true); // true
   tribool z(indeterminate); // indeterminate
 
-#if defined( BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS )
-  // c++03 allows for implicit conversion to bool
-  // c++11 uses an explicit conversion operator so this would not compile
-  //       and that is tested in the compile-fail/implicit.cpp file
-  // so we check the conversion to ensure it is sane
-  bool bx = x;
-  BOOST_TEST(bx == false);
-  bool by = y;
-  BOOST_TEST(by == true);
-  bool bz = z;
-  BOOST_TEST(bz == false);
-#endif
+  BOOST_CHECK(!x);
+  BOOST_CHECK(x == false);
+  BOOST_CHECK(false == x);
+  BOOST_CHECK(x != true);
+  BOOST_CHECK(true != x);
+  BOOST_CHECK(indeterminate(x == indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate == x));
+  BOOST_CHECK(indeterminate(x != indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate != x));
+  BOOST_CHECK(x == x);
+  BOOST_CHECK(!(x != x));
+  BOOST_CHECK(!(x && true));
+  BOOST_CHECK(!(true && x));
+  BOOST_CHECK(x || true);
+  BOOST_CHECK(true || x);
 
-  BOOST_TEST(!x);
-  BOOST_TEST(x == false);
-  BOOST_TEST(false == x);
-  BOOST_TEST(x != true);
-  BOOST_TEST(true != x);
-  BOOST_TEST(indeterminate(x == indeterminate));
-  BOOST_TEST(indeterminate(indeterminate == x));
-  BOOST_TEST(indeterminate(x != indeterminate));
-  BOOST_TEST(indeterminate(indeterminate != x));
-  BOOST_TEST(x == x);
-  BOOST_TEST(!(x != x));
-  BOOST_TEST(!(x && true));
-  BOOST_TEST(!(true && x));
-  BOOST_TEST(x || true);
-  BOOST_TEST(true || x);
+  BOOST_CHECK(y);
+  BOOST_CHECK(y == true);
+  BOOST_CHECK(true == y);
+  BOOST_CHECK(y != false);
+  BOOST_CHECK(false != y);
+  BOOST_CHECK(indeterminate(y == indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate == y));
+  BOOST_CHECK(indeterminate(y != indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate != y));
+  BOOST_CHECK(y == y);
+  BOOST_CHECK(!(y != y));
 
-  BOOST_TEST(y);
-  BOOST_TEST(y == true);
-  BOOST_TEST(true == y);
-  BOOST_TEST(y != false);
-  BOOST_TEST(false != y);
-  BOOST_TEST(indeterminate(y == indeterminate));
-  BOOST_TEST(indeterminate(indeterminate == y));
-  BOOST_TEST(indeterminate(y != indeterminate));
-  BOOST_TEST(indeterminate(indeterminate != y));
-  BOOST_TEST(y == y);
-  BOOST_TEST(!(y != y));
+  BOOST_CHECK(indeterminate(z || !z));
+  BOOST_CHECK(indeterminate(z == true));
+  BOOST_CHECK(indeterminate(true == z));
+  BOOST_CHECK(indeterminate(z == false));
+  BOOST_CHECK(indeterminate(false == z));
+  BOOST_CHECK(indeterminate(z == indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate == z));
+  BOOST_CHECK(indeterminate(z != indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate != z));
+  BOOST_CHECK(indeterminate(z == z));
+  BOOST_CHECK(indeterminate(z != z));
 
-  BOOST_TEST(indeterminate(z || !z));
-  BOOST_TEST(indeterminate(z == true));
-  BOOST_TEST(indeterminate(true == z));
-  BOOST_TEST(indeterminate(z == false));
-  BOOST_TEST(indeterminate(false == z));
-  BOOST_TEST(indeterminate(z == indeterminate));
-  BOOST_TEST(indeterminate(indeterminate == z));
-  BOOST_TEST(indeterminate(z != indeterminate));
-  BOOST_TEST(indeterminate(indeterminate != z));
-  BOOST_TEST(indeterminate(z == z));
-  BOOST_TEST(indeterminate(z != z));
+  BOOST_CHECK(!(x == y));
+  BOOST_CHECK(x != y);
+  BOOST_CHECK(indeterminate(x == z));
+  BOOST_CHECK(indeterminate(x != z));
+  BOOST_CHECK(indeterminate(y == z));
+  BOOST_CHECK(indeterminate(y != z));
 
-  BOOST_TEST(!(x == y));
-  BOOST_TEST(x != y);
-  BOOST_TEST(indeterminate(x == z));
-  BOOST_TEST(indeterminate(x != z));
-  BOOST_TEST(indeterminate(y == z));
-  BOOST_TEST(indeterminate(y != z));
+  BOOST_CHECK(!(x && y));
+  BOOST_CHECK(x || y);
+  BOOST_CHECK(!(x && z));
+  BOOST_CHECK(indeterminate(y && z));
+  BOOST_CHECK(indeterminate(z && z));
+  BOOST_CHECK(indeterminate(z || z));
+  BOOST_CHECK(indeterminate(x || z));
+  BOOST_CHECK(y || z);
 
-  BOOST_TEST(!(x && y));
-  BOOST_TEST(x || y);
-  BOOST_TEST(!(x && z));
-  BOOST_TEST(indeterminate(y && z));
-  BOOST_TEST(indeterminate(z && z));
-  BOOST_TEST(indeterminate(z || z));
-  BOOST_TEST(indeterminate(x || z));
-  BOOST_TEST(y || z);
+  BOOST_CHECK(indeterminate(y && indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate && y));
+  BOOST_CHECK(!(x && indeterminate));
+  BOOST_CHECK(!(indeterminate && x));
 
-  BOOST_TEST(indeterminate(y && indeterminate));
-  BOOST_TEST(indeterminate(indeterminate && y));
-  BOOST_TEST(!(x && indeterminate));
-  BOOST_TEST(!(indeterminate && x));
-
-  BOOST_TEST(indeterminate || y);
-  BOOST_TEST(y || indeterminate);
-  BOOST_TEST(indeterminate(x || indeterminate));
-  BOOST_TEST(indeterminate(indeterminate || x));
+  BOOST_CHECK(indeterminate || y);
+  BOOST_CHECK(y || indeterminate);
+  BOOST_CHECK(indeterminate(x || indeterminate));
+  BOOST_CHECK(indeterminate(indeterminate || x));
 
   // Test the if (z) ... else (!z) ... else ... idiom
   if (z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else if (!z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
 
   z = true;
   if (z) {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
   else if (!z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
 
   z = false;
   if (z) {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
   else if (!z) {
-    BOOST_TEST(true);
+    BOOST_CHECK(true);
   }
   else {
-    BOOST_TEST(false);
+    BOOST_CHECK(false);
   }
 
-#if !defined(BOOST_NO_CXX11_CONSTEXPR) 
-  constexpr bool res_ors = indeterminate(false || tribool(false) || false || indeterminate); // true
-  BOOST_TEST(res_ors);
-  char array_ors[res_ors ? 2 : 3];
-  BOOST_TEST(sizeof(array_ors) / sizeof(char) == 2);
-
-  constexpr bool res_ands = !indeterminate(!(true && tribool(true) && true && indeterminate)); // false
-  BOOST_TEST(!res_ands);
-  char array_ands[res_ands ? 2 : 3];
-  BOOST_TEST(sizeof(array_ands) / sizeof(char) == 3);
-
-  constexpr bool res_safe_bool = static_cast<bool>( tribool(true) );
-  BOOST_STATIC_ASSERT(res_safe_bool);
-
-// gcc 4.6 chokes on the xxx assignment
-# if !BOOST_WORKAROUND(BOOST_GCC, < 40700)
-    constexpr tribool xxx = (tribool(true) || tribool(indeterminate));
-    BOOST_STATIC_ASSERT(xxx);
-# endif
-#endif
-
-  return boost::report_errors();
+  std::cout << "no errors detected\n";
+  return 0;
 }