68   CPPUNIT_ASSERT(numbers[0]==1);  in parsrt0()
69   CPPUNIT_ASSERT(numbers[1]==2);  in parsrt0()
70   CPPUNIT_ASSERT(numbers[2]==3);  in parsrt0()
71   CPPUNIT_ASSERT(numbers[3]==5);  in parsrt0()
72   CPPUNIT_ASSERT(numbers[4]==4);  in parsrt0()
73   CPPUNIT_ASSERT(numbers[5]==6);  in parsrt0()
85   CPPUNIT_ASSERT(v1[0]==2);  in parsrt1()
86   CPPUNIT_ASSERT(v1[1]==3);  in parsrt1()
87   CPPUNIT_ASSERT(v1[2]==3);  in parsrt1()
88   CPPUNIT_ASSERT(v1[3]==4);  in parsrt1()
89   CPPUNIT_ASSERT(v1[4]==5);  in parsrt1()
90   CPPUNIT_ASSERT(v1[5]==8);  in parsrt1()
91   CPPUNIT_ASSERT(v1[6]==8);  in parsrt1()
92   CPPUNIT_ASSERT(v1[7]==7);  in parsrt1()
93   CPPUNIT_ASSERT(v1[8]==6);  in parsrt1()
94   CPPUNIT_ASSERT(v1[9]==5);  in parsrt1()
109   CPPUNIT_ASSERT( strcmp(v1[0], "aa") == 0 );  in parsrt2()
110   CPPUNIT_ASSERT( v1[0] == names[0] );  in parsrt2()
111   CPPUNIT_ASSERT( strcmp(v1[1], "bb") == 0 );  in parsrt2()
112   CPPUNIT_ASSERT( v1[1] == names[5] );  in parsrt2()
113   CPPUNIT_ASSERT( strcmp(v1[2], "cc") == 0 );  in parsrt2()
114   CPPUNIT_ASSERT( v1[2] == names[4] );  in parsrt2()
115   CPPUNIT_ASSERT( strcmp(v1[3], "ff") == 0 );  in parsrt2()
116   CPPUNIT_ASSERT( v1[3] == names[1] );  in parsrt2()
117   CPPUNIT_ASSERT( strcmp(v1[4], "ee") == 0 );  in parsrt2()
118   CPPUNIT_ASSERT( v1[4] == names[3] );  in parsrt2()
119   CPPUNIT_ASSERT( strcmp(v1[5], "dd") == 0 );  in parsrt2()
120   CPPUNIT_ASSERT( v1[5] == names[2] );  in parsrt2()
130   CPPUNIT_ASSERT(result[0]==1);  in parsrtc0()
131   CPPUNIT_ASSERT(result[1]==2);  in parsrtc0()
132   CPPUNIT_ASSERT(result[2]==3);  in parsrtc0()
146   CPPUNIT_ASSERT(result[0]==0);  in parsrtc1()
147   CPPUNIT_ASSERT(result[1]==2);  in parsrtc1()
148   CPPUNIT_ASSERT(result[2]==2);  in parsrtc1()
149   CPPUNIT_ASSERT(result[3]==3);  in parsrtc1()
150   CPPUNIT_ASSERT(result[4]==3);  in parsrtc1()
165   CPPUNIT_ASSERT( strcmp( result[0], "aa" ) == 0 );  in parsrtc2()
166   CPPUNIT_ASSERT( result[0] == names[0] );  in parsrtc2()
167   CPPUNIT_ASSERT( strcmp( result[1], "bb" ) == 0 );  in parsrtc2()
168   CPPUNIT_ASSERT( result[1] == names[5] );  in parsrtc2()
169   CPPUNIT_ASSERT( strcmp( result[2], "cc" ) == 0 );  in parsrtc2()
170   CPPUNIT_ASSERT( result[2] == names[4] );  in parsrtc2()
183     CPPUNIT_ASSERT( false );  in bad_predicate_detected()
193     CPPUNIT_ASSERT( false );  in bad_predicate_detected()
208   CPPUNIT_ASSERT(result[0]==1);  in partsum0()
209   CPPUNIT_ASSERT(result[1]==3);  in partsum0()
210   CPPUNIT_ASSERT(result[2]==6);  in partsum0()
211   CPPUNIT_ASSERT(result[3]==10);  in partsum0()
212   CPPUNIT_ASSERT(result[4]==15);  in partsum0()
213   CPPUNIT_ASSERT(result[5]==21);  in partsum0()
224   CPPUNIT_ASSERT(v2[0]==0);  in partsum1()
225   CPPUNIT_ASSERT(v2[1]==1);  in partsum1()
226   CPPUNIT_ASSERT(v2[2]==3);  in partsum1()
227   CPPUNIT_ASSERT(v2[3]==6);  in partsum1()
228   CPPUNIT_ASSERT(v2[4]==10);  in partsum1()
229   CPPUNIT_ASSERT(v2[5]==15);  in partsum1()
230   CPPUNIT_ASSERT(v2[6]==21);  in partsum1()
231   CPPUNIT_ASSERT(v2[7]==28);  in partsum1()
232   CPPUNIT_ASSERT(v2[8]==36);  in partsum1()
233   CPPUNIT_ASSERT(v2[9]==45);  in partsum1()
243   CPPUNIT_ASSERT(v2[0]==1);  in partsum2()
244   CPPUNIT_ASSERT(v2[1]==2);  in partsum2()
245   CPPUNIT_ASSERT(v2[2]==6);  in partsum2()
246   CPPUNIT_ASSERT(v2[3]==24);  in partsum2()
247   CPPUNIT_ASSERT(v2[4]==120);  in partsum2()