indexify
indexify copied to clipboard
Implement model-based testing
The idea: let's use a model to validate the correctness of the Indexify state machine, to try to drive out any edge-case issues and increase our overall reliability.