Current limitations? - Githubissues

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

Open mojtaba-eshghie opened 8 months ago

mojtaba-eshghie commented 8 months ago

[ ] Only simple address-based role variables are supported right now (for retrieving the role value and updating the RBAC scheme after each event).
[ ] Transactions translated to events received that are not part of the DCR model are just skipped as implementation details of the higher-level models.