模型器

基于模型的测试框架和工具。

许可证

版权 © 2021 Informal Systems Inc. 和 modelator 作者。

根据 Apache 许可证版本 2.0（“许可证”）；除非法律要求或书面同意，否则不得使用此存储库中的文件，除非遵守许可证。您可以在以下位置获得许可证的副本：

https://www.apache.org/licenses/LICENSE-2.0

除非适用法律要求或书面同意，否则在许可证下分发的软件按“原样”提供，不提供任何明示或暗示的保证或条件。有关许可证的具体语言管理权限和限制，请参阅许可证。

lib.rs:

modelator 是一个基于模型的测试框架。