Tests

Modules

The test modules are:

• test_std_1x1_seq.rs: Simulates the protocol between 1 (client) x 1 (server), with removals at every protocol stage;
• test_rnd_1x1_seq.rs: Executes a series of instructions created randomly, which can be ADD or RM. This process is repeated 100 times, and results are compared with the result of the execution applied in an aworset crdt;
• test_rnd_1x1_noseq.rs: Simulates protocol between 1 (client) x 1 (server) in non sequential manner. Checkout the Nomenclature section for more details.

Nomenclature

Each test name follows this nomenclature:

• test_<type>_<topology>_<sequence>.rs

Type:

• rnd: random tests;
• std: standard, pre-deterministic tests;
• seq: sequential, the node finishes the handshake protocol applying a new operation. Ex: a client applies ADD(x), it can apply ADD(y) or RM(y), before sending ADD(x) to a higher layer;
• noseq: Non sequential.

⚠️ Node crashing is not simulated.