run-roundabout

分类: 数据与AI | 上传者: Certora | 下载: 0 | 版本: v1.0（最新）

运行 RoundAbout 分析并为 Certora conf 文件生成 HTML 查看器

更新日志: Source: GitHub https://github.com/Certora/wala-solidity

目录结构

当前层级: tree/main/.claude/skills/run_roundabout/

📄 run_roundabout.py 1.5 KB
📄 SKILL.md 1.6 KB

SKILL.md

---
name: run-roundabout
description: Run RoundAbout analysis and generate an HTML viewer for a Certora conf file
---

# Run RoundAbout

Runs the RoundAbout rounding-analysis pipeline and generates an interactive HTML viewer.

## When to Use

- User wants to run RoundAbout on a project
- User wants to analyze rounding behavior
- User wants to generate a RoundAbout viewer
- Keywords: run roundabout, analyze rounding, generate viewer

## Command

`python3 .claude/skills/run_roundabout/run_roundabout.py [--certora-run-command <cmd>] <conf-file>`

### Arguments

- `conf-file` — path to a `.conf` file (relative to the project root or absolute)
- `--certora-run-command <cmd>` — (optional) command to use instead of `certoraRun` (default: `certoraRun`)

## Usage Examples

```bash
# Run on a conf file in the current project
python3 .claude/skills/run_roundabout/run_roundabout.py certora/conf/MyConf.conf

# Run with a custom certoraRun command
python3 .claude/skills/run_roundabout/run_roundabout.py --certora-run-command /path/to/certoraRun certora/conf/MyConf.conf
```

## What It Does

1. Uses the current working directory as the project root
2. Runs the Certora command (default: `certoraRun`) with `--dump_asts --build_only` to produce AST JSON
3. Runs the RoundAbout Java analysis on the dumped ASTs
4. Runs `generate_viewer.py` to produce a self-contained HTML viewer
5. Prints the path to the generated HTML file

## Output

Output files are placed next to the conf file, derived from its name:
- `<name>_roundabout.json` — raw analysis results
- `<name>_roundabout.html` — interactive HTML viewer

登录后下载/点赞/收藏 ❤ 7 | ★ 0

run-roundabout

目录结构

SKILL.md

举报内容

提示