Boost logo

Boost :

From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2007-02-14 04:24:11


Gennadiy Rozental wrote:
> "Thorsten Ottosen" <thorsten.ottosen_at_[hidden]> wrote in message
> news:45CEFA3F.8080807_at_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


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk