文件名称：tlacli:用于从命令行运行TLA + TLC的脚本
文件大小：2.06MB
文件格式：ZIP
更新时间：2024-06-03 06:42:25
formal-methods tlc tlaplus Python
tlacli：TLA +的CLI工具 免责声明：这不是TLA +官方工具，也不是其中的原型。 我不保证任何向后兼容性或不间断的更改或其他任何保证。 这只是我觉得有用的脚本。 tlacli是用于tlacli运行TLC模型检查器的工具。 无论如何，您已经可以使用tlc2.TLC从命令行运行TLC，而tlacli仅提供该功能的子集。 但是，它仍然具有一些UX改进： 尼斯标志UX。 参数遵循常规的“标志”格式。 您可以仅通过tlacli check specfile.tla检查规范。 Saner默认值。 它会自动使用Spec作为您的时间公式，默认为每个CPU内核使用一个工作程序，并提供简洁的输出等。 您不必编写配置文件。 您可以将不变量，属性和常量定义为命令行标志，而tlacli将自动为该运行构建适当的配置文件。 您也可以将配置另存为模板，以备将来运行。 您也可以同时使用配置文件和标志
【文件预览】：
tlacli-master
----setup.py(1KB)
----.gitignore(123B)
----requirements.txt(824B)
----src()
--------tlacli()
----LICENSE.txt(1KB)
----README.md(5KB)
----tests()
--------conftest.py(289B)
--------test_cfg.py(2KB)
--------fixtures()
----design-notes.md(3KB)