Searched defs:vc3 (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/main/drd/tests/ |
| H A D | unit_vc.c | 62 VectorClock vc3; local
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);
[all...] |
Completed in 112 milliseconds