3 ms·
The other nice quality if your code is in a state machine is that it can verified by a model checker. You might like this post on statig, an HSM library for Ru
by nerpderp82 4y ago
The other nice quality if your code is in a state machine is that it can verified by a model checker.
You might like this post on statig, an HSM library for Rust
https://old.reddit.com/r/rust/comments/yqp2cq/announcing_statig_hierarchical_state_machines_for/ https://old.reddit.com/r/rust/comments/yqp2cq/announcing_sta...