run-roundabout

Category: Data & AI | Uploader: Certora | Downloads: 0 | Version: v1.0（Latest）

Run RoundAbout analysis and generate an HTML viewer for a Certora conf file

Changelog: Source: GitHub https://github.com/Certora/wala-solidity

Directory Structure

Current level: 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

Comments 0

Latest | Hot

Please login before commenting.

No comments yet. Be the first one!

run-roundabout

Directory Structure

SKILL.md

Report

Notice