Tests

Modules

The test modules are:

• test_std_1x1.rs: Simulates the protocol between two nodes (1x1), with removals at every protocol stage. No errors are simulated.
• test_rnd_1x1.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.

Nomenclature

Each test name follows this nomenclature:

• test_<type>_<topology>.rs

Type:

• rnd: random tests;
• std: standard, pre-deterministic tests.