文件名称：PlusPy:适用于TLA +规范的Python解释器
文件大小：79KB
文件格式：ZIP
更新时间：2024-05-12 23:08:27
python interpreter tla Python
加号 pluspy是使用Python编写的TLA +解释器。 运行“ ./pluspy -h”以获得基本帮助。 输出应该是这样的： Usage: pluspy [options] [module] options: -c cnt: #times that Next should be evaluated -h: help -i: Init operator (default Init) -n: Next operator (default Next) -P path: module directory search path -s: silent output -S seed: random seed for reproducible tests -v: verbose output 您还可以使用“ -i Spec”
【文件预览】：
PlusPy-master
----.github()
--------workflows()
----tests()
--------regres.scr(185B)
--------pluspy(101B)
--------regression()
--------README.md(78B)
----test_pluspy.py(2KB)
----LICENSE(1KB)
----pluspy.py(137KB)
----pluspy(21B)
----.gitignore(32B)
----README.md(10KB)
----modules()
--------book()
--------other()
--------lib()
--------README.md(197B)