Searched refs:vc3 (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/drd/tests/ |
| D | unit_vc.c | 62 VectorClock vc3; in vc_unittest() local
70 DRD_(vc_init)(&vc3, 0, 0); in vc_unittest()
74 DRD_(vc_combine)(&vc3, &vc1); in vc_unittest()
75 DRD_(vc_combine)(&vc3, &vc2); in vc_unittest()
81 fprintf(stderr, "\nvc3: %s", (str = DRD_(vc_aprint)(&vc3))); in vc_unittest()
86 DRD_(vc_lte)(&vc1, &vc2), DRD_(vc_lte)(&vc1, &vc3), in vc_unittest()
87 DRD_(vc_lte)(&vc2, &vc3)); in vc_unittest()
103 DRD_(vc_cleanup)(&vc3); in vc_unittest()
|
| D | unit_vc.stderr.exp | 4 vc_lte(vc1, vc2) = 0, vc_lte(vc1, vc3) = 1, vc_lte(vc2, vc3) = 1
|