Home | History | Annotate | Download | only in tests

Lines Matching refs:OSetGen_Lookup

91    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
138 assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) );
187 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
381 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
432 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
433 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
434 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
465 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
466 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
467 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
485 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );