proptest-state-machine

状态机测试支持提供了一种针对顺序状态机的策略和便捷的运行宏。要了解更多信息，请参阅Proptest书籍中的状态机页面。

lib.rs:

Proptest状态机测试的策略和测试运行宏。

请参阅Proptest书籍中的“状态机测试”章节，了解何时以及如何使用此功能以及它是如何制作的。