Commit Graph

56 Commits

Author SHA1 Message Date
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
Lorenzo Caminiti
72eb227bcf added access for public functions and constructors, destructors done next 2015-11-09 07:59:38 -08:00