22 #undef vg_assert
23 #define vg_assert(e)                   assert(e)  macro
94    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1singleset()
95    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example1singleset()
96    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example1singleset()
97    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
98    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example1singleset()
122    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example1singleset()
204    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
205    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
215    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example1singleset()
236    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1singleset()
237    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example1singleset()
238    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example1singleset()
239    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
240    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example1singleset()
313    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );  in example1b()
314    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );  in example1b()
315    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
316    vg_assert( 0 == VG_(OSetWord_Size)(oset) );  in example1b()
338    vg_assert( NN == VG_(OSetWord_Size)(oset) );  in example1b()
376    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
377    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
385    vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );  in example1b()
403    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );  in example1b()
404    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );  in example1b()
405    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
406    vg_assert( 0 == VG_(OSetWord_Size)(oset) );  in example1b()
474    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()
475    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example2()
476    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example2()
477    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
478    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example2()
504    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example2()
545    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
546    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
555    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example2()
578    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()
579    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example2()
580    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example2()
581    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
582    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example2()