Skip to content

Commit

Permalink
chore: Update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Oct 31, 2024
1 parent 6a871bc commit f251900
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ Misti is a static analysis tool designed for smart contracts on the [TON blockch
- **Custom Detectors**: Create [custom detectors](https://nowarp.io/tools/misti/docs/hacking/custom-detector) to solve specific problems in your code or to provide a thorough security review if you are an auditor.

## Getting Started
1. *(optional)* Install Soufflé according to [the official installation instruction](https://souffle-lang.github.io/install) to enable more built-in functionality.
1. *(optional)* [Install Soufflé](https://souffle-lang.github.io/install) to enable more built-in functionality.

2. Install Misti:
```bash
Expand Down

0 comments on commit f251900

Please sign in to comment.