Automatic monitor runner

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 2 months ago

mojtaba-eshghie commented 8 months ago

Develop a CLI tool for the monitor that has the following capabilities:

[ ] Without the need for the web UI it takes monitor parameters and runs the monitor on the contract.
[x] Stores the violation trace if violation happens.

mojtaba-eshghie commented 2 months ago

First task is not relevant anymore, and second one is resolved through the following commit: https://github.com/mojtaba-eshghie/HighGuard/commit/0ee1e74fbb99d0f5b43fc0f7234561d0fcfe0b52