Listing 1 A demonstration of statement coverage.

#define TEST
#define MAX 10

int target( int a )
{
   if ( a < MAX )
       return 1;
   else
       return 0;
}


/******** beginning of test code **********
Leave this code in place even after release to enable
later maintainers (you maybe) to thoroughly test
this module after making modifications.
*/

#if defined( TEST )

main()
{
    /* test first path */
    if ( target( 0 ) !: 1 )
        ErrorMsg( "target failed valid test" );

    /* test second path */
    if ( target( 0 ) != 0 )
        ErrorMsg( "target failed invalid test" );
}
#endif /* end of test code */
/* End of File */