James E. King III
9240492490
Update CI and README
...
- Dependencies require C++11 so this library now does as well.
- Fixed and refreshed CI.
- This fixes #30 . (duplicate of issue-36)
- This fixes #32 . (issue-32 requires C++11 due to dependencies)
- This fixes #35 . (issue-35 missing header in test code.
- Fixed deprecated boost/bind header inclusion.
2025-06-01 19:26:54 -04:00
Lorenzo Caminiti
ebe44e53a7
fixed a few warnings and expected failures in tests
2019-05-30 21:30:38 -07:00
Lorenzo Caminiti
3ec0716830
disabled a few more msvc warnings
2019-01-13 14:18:36 -08:00
Lorenzo Caminiti
050a2a1e5a
fixed a few warnings on most common compilers (msvc, gcc, clang)
2019-01-11 04:50:53 -08:00
Lorenzo Caminiti
53fefd355a
fixed a couple of warnings
2017-12-24 01:26:50 -08:00
Lorenzo Caminiti
2414063d0f
building all configurations
2017-12-18 07:28:12 -08:00
Lorenzo Caminiti
fa93f96046
updated copyright year
2017-12-10 16:31:15 -08:00
Lorenzo Caminiti
11fd99f21c
marked a few more expected failures. reverted rethrow_exception workaround for FreeBSD because it only worked for destructor tests anyway...
2017-11-06 21:20:05 -08:00
Lorenzo Caminiti
727bb2fa26
attempted to workaround libxxrt bug on freebsd for std::unchaught_exception on re-trhow (not sure if this will work... need to check on boost.contract/develop regression tests...)
2017-11-05 09:25:51 -08:00
Lorenzo Caminiti
3f1214f85f
updated expected regression failures. made struct err a global type in all tests to workaround msvc10 bug for which local structs are not visible within lambdas.
2017-10-09 20:05:24 -07:00
Lorenzo Caminiti
fb7acedc1d
possible fix for local struct err not recognized in lambda on msvc 10
2017-09-27 22:01:25 -07:00
Lorenzo Caminiti
a748c6142e
copied all release/0_5_0 to master
2017-09-04 17:43:14 -07:00
Lorenzo Caminiti
914e7bdcec
cleaning master to prep for release tags
2017-09-04 16:30:13 -07:00
Lorenzo Caminiti
6568f6137e
increased copyright yeat to 2017
2017-09-01 21:02:28 -07:00
Lorenzo Caminiti
8655f2bc3c
added missing copyright statements
2017-09-01 20:50:51 -07:00
Lorenzo Caminiti
7943893d38
built all tests with all BOOST_CONTRACT_NO_... configurations on MSVC
2017-03-28 07:55:39 -07:00
Lorenzo Caminiti
7bd3064cce
compiling all examples and tests
2017-03-19 22:28:47 -07:00
Lorenzo Caminiti
44cc7a2bc7
renamed some OLD to OLDOF
2017-03-13 22:45:57 -07:00
Lorenzo Caminiti
0611a77f0a
added NO_CONDITIONS and using less verbose NO macro combinations in predicates
2017-03-13 22:33:04 -07:00
Lorenzo Caminiti
5260e15e98
resolving todos
2017-03-09 21:28:26 -08:00
Lorenzo Caminiti
2dc0038b14
renamed smoke tests, added extras section to docs
2017-02-18 13:58:45 -08:00
Lorenzo Caminiti
d8afc9bb39
added contract_macro.hpp interface
2017-02-10 21:41:58 -08:00
Lorenzo Caminiti
244fd42ad4
all tests pass on msvc,gcc,clang with all boost_contract_no combinations and also all boost_contract_link combinations shared,static,header
2016-12-26 23:21:02 -08:00
Lorenzo Caminiti
ca2071b6a3
added test for throwing from pre and post, added .except() to tests from thorowing from old
2016-12-13 20:30:53 -08:00
Lorenzo Caminiti
3000dde9c2
built all tests and examples on msvc with all contract_no combinations
2016-12-12 21:07:46 -08:00
U-CODE1\310206419
58b8b96a2a
fixed a bug with old value copies from .old(...) by storing them in a queue instead of a stack (same was already done for old value copies from init code outside .old(...))
2016-11-26 19:09:03 -08:00
Lorenzo Caminiti
e7a64edfb2
added public_function test that fails on current old(...) but to be fixed
2016-10-30 08:53:11 -07:00
Lorenzo Caminiti
73bb28243d
x
2016-10-28 11:46:10 -07:00
Lorenzo Caminiti
b36dc64d18
resolved a few TODOs, also fixing old for except of public functions virtual calls
2016-09-27 20:54:23 -07:00
Lorenzo Caminiti
b702d4b13c
added NO_EXCEPTS to boost_contract_no feature and built all tests and examples for all compilers
2016-09-06 20:31:05 -07:00
Lorenzo Caminiti
ff02b449dd
added .except(...), renamed old_ptr_noncopyable to old_ptr_if_copyable, and renamed OLDOF to OLD
2016-08-21 09:54:10 -07:00
Lorenzo Caminiti
a2ac52ffd7
added check (block invariants) and a few other tests
2016-08-03 06:22:29 -07:00
Lorenzo Caminiti
9949f0c60b
added copyright info to all source files
2016-06-11 12:41:57 -07:00
Lorenzo Caminiti
b70b886140
resolved almost all todos and recompiled examples and tests
2016-06-11 11:24:16 -07:00
Lorenzo Caminiti
2939478f72
added test for unions
2016-03-06 08:56:42 -08:00
Lorenzo Caminiti
9754d1cf05
renamed aux to detail
2016-03-01 10:00:31 -08:00
Lorenzo Caminiti
e7a8c6a502
removed CONFIG infix for all config macros (to better conform to Boost's naming conventions)
2016-02-29 07:15:05 -08:00
Lorenzo Caminiti
b21744fbe1
added all copyrights and rebuilt all tests with msvc, gcc, and clang with all contracts on/off
2016-02-20 10:06:57 -08:00
Lorenzo Caminiti
fe3c78ad90
started to compile this lib as dll
2016-01-30 13:09:33 -08:00
Lorenzo Caminiti
1ab47c587c
added max_bases test. renamed aux::test to test::aux.
2016-01-27 08:10:48 -08:00
Lorenzo Caminiti
035305aff4
tested function overloads and protected bases
2016-01-24 09:19:30 -08:00
Lorenzo Caminiti
50096d396c
supporting configurable public function arity using variadic templates when available, or preprocessor metaprogramming otherwise
2016-01-22 08:14:07 -08:00
Lorenzo Caminiti
63372678f3
compiled all tests with contracts on/off on msvc, gcc, and clang
2016-01-08 05:08:53 -08:00
Lorenzo Caminiti
ff8b35f9f2
started to implement and test contract compilation on/off
2015-12-24 22:32:35 -08:00
Lorenzo Caminiti
d1e1765cdb
renamed ..._failed to ..._fail
2015-12-16 21:30:22 -08:00
Lorenzo Caminiti
ec79700b26
added tests for throwing from .old()
2015-12-15 11:51:44 -08:00
Lorenzo Caminiti
ae62d81def
renamed some decl_...
2015-12-14 07:59:51 -08:00
Lorenzo Caminiti
f57c437e8b
finshed decl... tests
2015-12-13 08:37:33 -08:00
Lorenzo Caminiti
5c047bccb2
started testing with/without pre/post/inv decl. fixed inv not checked on exit when assertion failure handlers throw. made dtors noexcept(false) for c++11 so assertion failure can throw. fixed has_static_inv to not condier static_inv inherited from base classes.
2015-12-02 07:25:31 -08:00
Lorenzo Caminiti
8e9d7474f1
added const volatile invariants
2015-11-11 07:47:36 -08:00
