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.)