3 个版本 (破坏性更新)
| 新 0.2.0 | 2024 年 8 月 23 日 |
|---|---|
| 0.1.0 | 2024 年 7 月 8 日 |
| 0.0.0-release | 2024 年 7 月 8 日 |
5 在 #dry-run
每月 158 次下载
66KB
756 行
Essential Dry Run
这是一个 Rust 库和 CLI 工具，允许在 Essential 服务器上对解决方案进行 dry-run。
dry-run 通过 essential-rest-client 执行，它向 essential-rest-server 发送请求。
底层，essential-server
- 模拟解决方案提出的状态转换。
- 检查解决方案指向的所有谓词的约束。
Rust 库提供了接受反序列化 Contract/Solution 对象的函数的修改（以及接受路径的函数，如 CLI 工具所做的那样）。
Usage: essential-dry-run [ADDRESS] <COMMAND>
Commands:
check-with-contracts
check
help Print this message or the help of the given subcommand(s)
Arguments:
[ADDRESS] Server address to bind to [default: http://0.0.0.0:0]
Options:
-h, --help Print help
-V, --version Print version
dry-run
在服务器上 dry-run 解决方案。
在模拟状态转换和检查约束之前，从存储中读取合约。
如果您已经拥有合约且不需要从存储中读取它们，请使用 带有合约的 dry-run。
Usage: essential-dry-run dry-run --server <SERVER> --solution <SOLUTION>
Options:
--server <SERVER> The address of the server to connect to
--solution <SOLUTION> Path to solution
-h, --help Print help
示例
essential-dry-run dry-run --server http://0.0.0.0:8080 --solution a_solution.json
带有合约的 dry-run
在服务器上 dry-run 解决方案，而不从存储中读取合约。
如果您没有解决方案指向的合约，请使用 dry-run。
Usage: essential-dry-run dry-run-with-contracts --server <SERVER> --contracts <CONTRACTS> --solution <SOLUTION>
Options:
--server <SERVER> The address of the server to connect to
--contracts <CONTRACTS> Path to compiled contracts
--solution <SOLUTION> Path to solution
-h, --help Print help
示例
essential-dry-run dry-run --server http://0.0.0.0:8080 --contracts src/contracts --solution a_solution.json
依赖项
~7–21MB
~321K SLoC