Home | History | Annotate | Download | only in tests

Lines Matching refs:OSetGen_Contains

90    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
121 assert( VG_(OSetGen_Contains)(oset, vs[i]) );
127 assert( ! VG_(OSetGen_Contains)(oset, &v) );
130 assert( ! VG_(OSetGen_Contains)(oset, &v) );
133 assert( ! VG_(OSetGen_Contains)(oset, &v) );
175 assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );
186 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
380 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
415 a = vs[i]->first + 0; assert( VG_(OSetGen_Contains)(oset, &a) );
416 a = vs[i]->first + 1; assert( VG_(OSetGen_Contains)(oset, &a) );
417 a = vs[i]->first + 2; assert( VG_(OSetGen_Contains)(oset, &a) );
423 assert( ! VG_(OSetGen_Contains)(oset, &a) );
425 a = vs[i]->first - 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
426 a = vs[i]->first + 3; assert( ! VG_(OSetGen_Contains)(oset, &a) );
472 a = vs[i]->first + 0; assert( ! VG_(OSetGen_Contains)(oset, &a) );
473 a = vs[i]->first + 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
474 a = vs[i]->first + 2; assert( ! VG_(OSetGen_Contains)(oset, &a) );
484 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );