没有项目描述
eventb-to-txt的Python项目详细描述
event-b到txt转换器
event b to txt脚本只是将event-b机器和上下文(.bum和.buc文件)转换为纯文本。此文本本身是一个有效的event-b模型,可以在camille编辑器中使用。
与使用Rodin 3.0及更高版本创建的Event-B模型兼容。
安装
$ pip install eventb-to-txt
用法
usage: eventb-to-txt [-h] [-o PATH] [-m] [in_path]
positional arguments:
in_path path to the Event-B model directory or zipfile
optional arguments:
-h, --help show this help message and exit
-o PATH, --out PATH PATH to the output directory
-m, --merge merge all generated txt files into a single txt file