Home
last modified time | relevance | path

Searched refs:vts2 (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/helgrind/
DREADME_MSMProp2.txt123 hb(vts1, vts2) = vts1 happens before or is equal to vts2
Dlibhb_core.c3463 VTS *vts1, *vts2; in VtsID__join2_WRK() local
3475 vts2 = VtsID__to_VTS(vi2); in VtsID__join2_WRK()
3477 VTS__join(temp_max_sized_VTS, vts1,vts2); in VtsID__join2_WRK()
3518 VTS *vts1, *vts2; in VtsID__findFirst_notLEQ() local
3523 vts2 = VtsID__to_VTS(vi2); in VtsID__findFirst_notLEQ()
3524 tl_assert(vts1 != vts2); in VtsID__findFirst_notLEQ()
3525 diffthrid = VTS__cmpLEQ(vts1, vts2); in VtsID__findFirst_notLEQ()