GitHub repository: morjef/statetest
Description: A simple test for Gilian