@DefineFunc:
bool equals_val(void *ptr1, void *ptr2) {
+ if (ptr1 == ptr2)
+ return true;
TypeV *val1 = (TypeV*) ptr1,
*val2 = (TypeV*) ptr2;
if (val1 == NULL || val2 == NULL)
slot *V = val(kvs, idx);
/**
@Begin
- @Commit_point_define: V == NULL
+ @Commit_point_define: K == NULL
@Potential_commit_point_label: Read_Val_Point
@Label: Get_Success_Point_1
@End