Lines Matching defs:vg_assert
22 #undef vg_assert
23 #define vg_assert(e) assert(e)
93 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
94 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
95 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
96 vg_assert( ! VG_(OSetGen_Next)(oset) );
97 vg_assert( 0 == VG_(OSetGen_Size)(oset) );
120 vg_assert( NN == VG_(OSetGen_Size)(oset) );
157 vg_assert( ! VG_(OSetGen_Next)(oset) );
158 vg_assert( ! VG_(OSetGen_Next)(oset) );
168 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
189 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
190 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
191 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
192 vg_assert( ! VG_(OSetGen_Next)(oset) );
193 vg_assert( 0 == VG_(OSetGen_Size)(oset) );
266 vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
267 vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
268 vg_assert( ! VG_(OSetWord_Next)(oset, &v) );
269 vg_assert( 0 == VG_(OSetWord_Size)(oset) );
291 vg_assert( NN == VG_(OSetWord_Size)(oset) );
326 vg_assert( ! VG_(OSetWord_Next)(oset, &v) );
327 vg_assert( ! VG_(OSetWord_Next)(oset, &v) );
335 vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );
353 vg_assert( ! VG_(OSetWord_Contains)(oset, v) );
354 vg_assert( ! VG_(OSetWord_Remove)(oset, v) );
355 vg_assert( ! VG_(OSetWord_Next)(oset, &v) );
356 vg_assert( 0 == VG_(OSetWord_Size)(oset) );
424 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
425 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
426 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
427 vg_assert( ! VG_(OSetGen_Next)(oset) );
428 vg_assert( 0 == VG_(OSetGen_Size)(oset) );
454 vg_assert( NN == VG_(OSetGen_Size)(oset) );
495 vg_assert( ! VG_(OSetGen_Next)(oset) );
496 vg_assert( ! VG_(OSetGen_Next)(oset) );
505 vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );
528 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
529 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
530 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );
531 vg_assert( ! VG_(OSetGen_Next)(oset) );
532 vg_assert( 0 == VG_(OSetGen_Size)(oset) );
