Finitomata ❤ Mox
Blogged on how to use Mox to test highly concurrent applications (on the Finitomata example.)
https://rocket-science.ru/hacking/2023/03/06/finitomata-mox-testing
Synchronization points. The proper way to test FSM in details: how to control data flow (opinionated approach.)
