Home | History | Annotate | Download | only in tests

Lines Matching refs:OSetGen_Lookup

95    vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
188 assert( vs[i] == VG_(OSetGen_Lookup)(oset, vs[i]) );
237 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
475 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );
526 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
527 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
528 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
559 a = vs[i]->first + 0; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
560 a = vs[i]->first + 1; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
561 a = vs[i]->first + 2; assert( vs[i] == VG_(OSetGen_Lookup)(oset, &a) );
579 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) );