22 #undef vg_assert
23 #define vg_assert(e)                   assert(e)  macro
95    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1singleset()
96    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example1singleset()
97    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example1singleset()
98    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
99    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example1singleset()
123    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example1singleset()
205    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
206    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
217    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example1singleset()
240    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example1singleset()
241    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example1singleset()
242    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example1singleset()
243    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example1singleset()
244    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example1singleset()
317    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );  in example1b()
318    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );  in example1b()
319    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
320    vg_assert( 0 == VG_(OSetWord_Size)(oset) );  in example1b()
342    vg_assert( NN == VG_(OSetWord_Size)(oset) );  in example1b()
380    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
381    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
389    vg_assert( NN/2 == VG_(OSetWord_Size)(oset) );  in example1b()
407    vg_assert( ! VG_(OSetWord_Contains)(oset, v) );  in example1b()
408    vg_assert( ! VG_(OSetWord_Remove)(oset, v) );  in example1b()
409    vg_assert( ! VG_(OSetWord_Next)(oset, (UWord *)&v) );  in example1b()
410    vg_assert( 0 == VG_(OSetWord_Size)(oset) );  in example1b()
478    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()
479    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example2()
480    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example2()
481    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
482    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example2()
508    vg_assert( NN == VG_(OSetGen_Size)(oset) );  in example2()
549    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
550    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
559    vg_assert( NN/2 == VG_(OSetGen_Size)(oset) );  in example2()
582    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );  in example2()
583    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );  in example2()
584    vg_assert( ! VG_(OSetGen_Remove)(oset, &v) );  in example2()
585    vg_assert( ! VG_(OSetGen_Next)(oset) );  in example2()
586    vg_assert( 0 == VG_(OSetGen_Size)(oset) );  in example2()