HomeSort by relevance Sort by last modified time
    Searched defs:vc2 (Results 1 - 3 of 3) sorted by null

  /external/valgrind/main/drd/
drd_segment.c 192 char *vc1, *vc2; local
195 vc2 = DRD_(vc_aprint)(&sg2->vc);
198 "Merging segments with vector clocks %s and %s\n", vc1, vc2);
200 VG_(free)(vc2);
drd_vc.c 105 VectorClock vc2; local
106 DRD_(vc_init)(&vc2, &vcelem, 1);
107 DRD_(vc_combine)(vc, &vc2);
108 DRD_(vc_cleanup)(&vc2);
113 * @return True if vector clocks vc1 and vc2 are ordered, and false otherwise.
117 const VectorClock* const vc2)
119 return DRD_(vc_lte)(vc1, vc2) || DRD_(vc_lte)(vc2, vc1);
  /external/valgrind/main/drd/tests/
unit_vc.c 60 VectorClock vc2; local
69 DRD_(vc_init)(&vc2, vc2elem, sizeof(vc2elem)/sizeof(vc2elem[0]));
75 DRD_(vc_combine)(&vc3, &vc2);
79 fprintf(stderr, "\nvc2: %s", (str = DRD_(vc_aprint)(&vc2)));
84 fprintf(stderr, "vc_lte(vc1, vc2) = %d, vc_lte(vc1, vc3) = %d,"
85 " vc_lte(vc2, vc3) = %d\nvc_lte(",
86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3),
87 DRD_(vc_lte)(&vc2, &vc3));
102 DRD_(vc_cleanup)(&vc2);

Completed in 70 milliseconds