23 lines
535 B
C
23 lines
535 B
C
#include "ConflictSet.h"
|
|
|
|
#include <assert.h>
|
|
|
|
int main(void) {
|
|
ConflictSet *cs = ConflictSet_create(0, 0);
|
|
ConflictSet_WriteRange w;
|
|
ConflictSet_Result result;
|
|
ConflictSet_ReadRange r;
|
|
w.begin.p = (const uint8_t *)"0000";
|
|
w.begin.len = 4;
|
|
w.end.len = 0;
|
|
w.writeVersion = 1;
|
|
ConflictSet_addWrites(cs, &w, 1);
|
|
r.begin.p = (const uint8_t *)"0000";
|
|
r.begin.len = 4;
|
|
r.end.len = 0;
|
|
r.readVersion = 0;
|
|
ConflictSet_check(cs, &r, &result, 1);
|
|
assert(result == ConflictSet_Conflict);
|
|
ConflictSet_destroy(cs);
|
|
}
|