9 Commits

Author	SHA1	Message	Date
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	edad097a5d	tested old-of under a few corner cases and renamed oldof.hpp to old.hpp	2015-10-23 19:38:09 -07:00
Lorenzo Caminiti	c594323bef	added .old(...)	2015-10-23 15:46:47 -07:00
Lorenzo Caminiti	f0ca795867	replaced free/private/protected_function with just function and started to program n1962 examples	2015-06-11 08:02:46 -07:00
Lorenzo Caminiti	0c90570e6c	committing all decl_function stuff, before going back to virtual_	2015-05-19 08:32:16 -07:00
Lorenzo Caminiti	71ed05596c	fixed virtual_ v	2015-05-06 19:05:08 -07:00
Lorenzo Caminiti	2d4cf6bfdf	added failure handlers and re-run all tests	2015-04-27 20:54:30 -07:00
Lorenzo Caminiti	3146d3fa3d	added oldof test, renamed type to scoped	2015-04-25 22:37:35 -07:00
Lorenzo Caminiti	524d58ac9a	compiling all tests after some reorganization	2015-04-25 19:33:48 -07:00