[boost] [test] testing for strict weak ordering

From: Thorsten Ottosen (thorsten.ottosen_at_[hidden])
Date: 2007-02-02 10:02:52

Hi,

I couldn't find a way to do this. Maybe I have overlooked something.
Anyway, making sure that operator<, operator== does the right thing is 
pretty important.

I had in mind that I could say

for( each i )
   for( each i2 )
     BOOST_CHECK_STRICT_WEAK_ORDERING( *i, *i2 );

which would check something like the following:

if( !(*i < *i2) && !(*i2 < *i) )
{
   BOOST_CHECK( *i == *i2 );
}
else if( *i < *i2 )
{
     BOOST_CHECK( *i != *i2 );
     BOOST_CHECK( !(*i2 < *i) );
}
else
{
     BOOST_CHECK( *i2 < *i );
     BOOST_CHECK( !(*i2 < *i) );
}

-Thorsten