Question about stateright states about stateright HOT 2 CLOSED

Hi @smoelius. Thanks for your interest in the project!

Yes, this is absolutely possible. You could base such an implementation off of impl Model for ActorModel (adding the additional shared environment state to a new type analogous to ActorModelState, for which network is simply one aspect of the environment).

https://github.com/stateright/stateright/blob/master/src/actor/model.rs

https://github.com/stateright/stateright/blob/master/src/actor/model_state.rs

from stateright.

Please let me know if you run into any difficulties. Can you elaborate on the use case as well? I should clarify that shared global time isn't assumed, so if one actor sleeps "at least 20ms" (timer 1) and another sleeps "at least 20,000 ms" (timer 2) then the checker does validate both orderings (timer2 before timer1 and vice versa).

from stateright.