4 Commits

Author	SHA1	Message	Date
Lorenzo Caminiti	9949f0c60b	added copyright info to all source files	2016-06-11 12:41:57 -07:00
Lorenzo Caminiti	1ab47c587c	added max_bases test. renamed aux::test to test::aux.	2016-01-27 08:10:48 -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	a79f6d3c13	fixed virtual optional result type and simplified inv failure handlers	2015-11-04 21:20:21 -08:00