[boost] [test] testing for strict weak ordering

2 Feb 2007

      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

[boost] [test] testing for strict weak ordering

Thorsten Ottosen