stateright / stateright

A model checker for implementing distributed systems.

Home Page:https://docs.rs/stateright

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Named timers

jeffa5 opened this issue · comments

Currently timers can only be used to perform operations in a combined manner at an actor.

Would it feasible to let timers be named in some way so that they can trigger different events? I think tagging the timer struct with a generic type would make this work, then current behaviour is storing unit.