blueprint-tsa

A plugin for the Blueprint Framework that simplifies your workflow with the TON Symbolic Analyzer.

Getting Started

1. Add this plugin as a dependency of your Blueprint project:

yarn add blueprint-tsa

2. Add this configuration to blueprint.config.ts:

import { TsaPlugin } from "blueprint-tsa";

export const config = {
  plugins: [new TsaPlugin()],
};

Usage

Run the following command:

yarn blueprint tsa help

More more information, visit documentation.