文件名称:strategoutil:实用程序函数可将UPPAAL Stratego与python接口
文件大小:6KB
文件格式:ZIP
更新时间:2024-04-08 16:10:58
Python
Stratgoutil 实用程序函数可将UPPAAL Stratego与python接口 去做: 特拉维斯 测试在推上运行? gitmodules能够与其他东西一起安装 安装程序py安装要求 入门 克隆strategoutil并将其安装到您的环境 git clone https://github.com/mihsamusev/strategoutil.git cd strategoutil pip install -e . 运行测试,是否成功通过所有测试并不取决于计算机上verifyta安装了verifyta 。 python -m pytest 导入您的stratego MPC项目并开始黑客攻击,请参阅 import strategoutil as sutil 参考
【文件预览】:
strategoutil-main
----.github()
--------workflows()
----strategoutil.py(2KB)
----requirements.txt(6B)
----LICENSE(1KB)
----test()
--------test_strategoutil.py(4KB)
----setup.py(353B)
----README.md(715B)
----.gitignore(2KB)