Home | History | Annotate | Download | only in tests

Lines Matching refs:OSetGen_Contains

93    vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
124 assert( VG_(OSetGen_Contains)(oset, vs[i]) );
130 assert( ! VG_(OSetGen_Contains)(oset, &v) );
133 assert( ! VG_(OSetGen_Contains)(oset, &v) );
136 assert( ! VG_(OSetGen_Contains)(oset, &v) );
178 assert( ! VG_(OSetGen_Contains)(oset, vs[i]) );
189 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
424 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );
459 a = vs[i]->first + 0; assert( VG_(OSetGen_Contains)(oset, &a) );
460 a = vs[i]->first + 1; assert( VG_(OSetGen_Contains)(oset, &a) );
461 a = vs[i]->first + 2; assert( VG_(OSetGen_Contains)(oset, &a) );
467 assert( ! VG_(OSetGen_Contains)(oset, &a) );
469 a = vs[i]->first - 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
470 a = vs[i]->first + 3; assert( ! VG_(OSetGen_Contains)(oset, &a) );
516 a = vs[i]->first + 0; assert( ! VG_(OSetGen_Contains)(oset, &a) );
517 a = vs[i]->first + 1; assert( ! VG_(OSetGen_Contains)(oset, &a) );
518 a = vs[i]->first + 2; assert( ! VG_(OSetGen_Contains)(oset, &a) );
528 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) );