Searched refs:vc4 (Results 1 – 1 of 1) sorted by relevance
64 VectorClock vc4; in vc_unittest() local71 DRD_(vc_init)(&vc4, vc4elem, sizeof(vc4elem)/sizeof(vc4elem[0])); in vc_unittest()88 fprintf(stderr, "%s", (str = DRD_(vc_aprint)(&vc4))); in vc_unittest()94 DRD_(vc_lte)(&vc4, &vc5), DRD_(vc_lte)(&vc5, &vc4)); in vc_unittest()