Lines Matching defs:vc3
62 VectorClock vc3;
70 DRD_(vc_init)(&vc3, 0, 0);
74 DRD_(vc_combine)(&vc3, &vc1);
75 DRD_(vc_combine)(&vc3, &vc2);
81 fprintf(stderr, "\nvc3: %s", (str = DRD_(vc_aprint)(&vc3)));
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));
103 DRD_(vc_cleanup)(&vc3);