contract
contract copied to clipboard
boostorg
Contract programming for C++
We are in the process of making B2 build changes to all of the B2 build files to support "modular" consumption of the Boost Libraries by users. See this list...
it includes `any.h`, which no longer supports C++03. Discovered in Boost 1.84.0 Beta 1 Release Candidate 1
The boostorg/contract documentation is able to build in Linux, however not on MacOS or Windows. Not clear why... If a maintainer is interested I could convert this into an Issue,...
Running Boost.Contract Test Suite in Boost 1.81.0 run into segfault with this backtrace: ``` Reading symbols from ./bin.v2/libs/contract/test/disable-no_post_except_lib.test/gcc-12/release/link-static/threading-multi/visibility-hidden/disable-no_post_except_lib... (gdb) r Starting program: /builddir/boost-1.81.0/bin.v2/libs/contract/test/disable-no_post_except_lib.test/gcc-12/release/link-static/threading-multi/visibility-hidden/disable-no_post_except_lib [Thread debugging using libthread_db enabled] Using host...
The "cxxstd" json field is being added to each Boost library's meta json information for libraries in order to specify the minumum C++ standard compilation level. The value of this...
Use BOOST_OVERRIDE to fix GCC -Wsuggest-override and Clang-tidy modernize-use-override warnings. Also fix Clang-tidy readability-container-size-empty and readability-redundant-string-init warnings.
Complete list of warnings when Boost 1.72 is built with GCC 7.5 with `-Wsuggest-override` added to `cxxflags`: ./boost/contract/core/exception.hpp:107:25: warning: ‘virtual const char* boost::contract::bad_virtual_result_cast::what() const’ can be marked override [-Wsuggest-override] ./boost/contract/core/exception.hpp:183:25:...
This is part of the effort to make the Boost libraries "modular" for build and consumption. See https://lists.boost.org/Archives/boost/2024/01/255704.php and https://github.com/grafikrobot/boost-b2-modular/blob/b2-modular/README.adoc for more information. This PR depends on the following other...
Hi, I work on MSVC compiler testing, and we regularly build popular open-source project including Boost, with development builds of MSVC in order to find and fix regressions before they...
I encountered a runtime error: When I write: ``` auto check = boost::contract::public_function(this) .precondition([&]() { BOOST_CONTRACT_ASSERT(is_double() || is_unknown()); }); ``` it throws the error: "Assertion failed: BOOST_CONTRACT_ERROR_missing_check_object_declaration" at runtime. However,...
