Re: [boost] [test] testing for strict weak ordering

From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2007-02-11 05:31:55

Gennadiy Rozental wrote:
> "Thorsten Ottosen" <thorsten.ottosen_at_[hidden]> wrote in message 
> news:45C75E5A.7030309_at_dezide.com...
> 
>>I see this as bunch of garbage chars. I don't know why. Could you
>>include the file in the message itself?
> 
> 
> Strange, I do not have any problems reading my post. Here it is:

Thanks. I guess it may be a thunderbird problem.

It looks good.

I'm don't think it is necessary to check for

                 // Check for transitivity of equivalence:
                 // !cmp(a,b) & !cmp(b,c) -> !cmp(a,c)

doesn't that follow from antisymmetri and transitivity?

I would also like to see check for equality with operator==() and
operator !=().

And then a test that combines the two, like I did, s.t. one
may test that == only holds when !cmp(a,b) && !cmp(b,a).

-Thorsten