Gennadiy Rozental wrote:
"Thorsten Ottosen" <thorsten.ottosen@dezide.com> wrote in message news:45CEFA3F.8080807@dezide.com...
Thorsten Ottosen wrote:
It looks good.
Does it mean you would be interrested in getting this into Boost.Test?
Oh yes, very much. IMO this stuff is difficult enough to get right to suggest it should be in the library.
My original plan was to create a bunch of runtime testers for variety of predicates invariants/concepts
Reflexivity Irreflexivity Symmetry Antisymmetry Transitivity Transitivity of equivalence Partial ordering Strict weak ordering Total ordering .....
I will need to do some aditional investigation to see what else need to be covered.
Sounds neat. It's probably hard to write tests that can make the internal predicates fail. Let me know if I can help. -Thorsten