Add functionality for Solana environment

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.

https://arxiv.org/abs/2305.08254

MIT License

5 stars 2 forks source link

Closed hansstammler closed 4 weeks ago

hansstammler commented 1 month ago

Look into adding a Solana blockchain environment through a tool similar to anvil.