Update post about testing state machine