Searched refs:vc4 (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/main/drd/tests/
H A Dunit_vc.c64 VectorClock vc4; local
71 DRD_(vc_init)(&vc4, vc4elem, sizeof(vc4elem)/sizeof(vc4elem[0]));
88 fprintf(stderr, "%s", (str = DRD_(vc_aprint)(&vc4)));
94 DRD_(vc_lte)(&vc4, &vc5), DRD_(vc_lte)(&vc5, &vc4));

Completed in 219 milliseconds