Add support for automation via Foundry Anvil

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 mojtaba-eshghie closed 7 months ago

mojtaba-eshghie commented 7 months ago

Instead of using real Ethereum testnet, let's use Anvil's testnet that also supports RPC (for our monitor).

mojtaba-eshghie commented 7 months ago

I just tested it, apparently, remix also supports connecting to anvil via rpc:

I just installed Foundry and ran anvil command.