search

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

The start of a monitor should automatically call constructor #37

Open mojtaba-eshghie opened 8 months ago

mojtaba-eshghie commented 8 months ago

When a monitoring session starts, we should look for an activity with constructor id and execute it immediately. This is to enable effects of executing the constructor such as initialization of values or enabling other events to happen.

mojtaba-eshghie commented 8 months ago

This could alternatively be done merely via doing the first step (in DCR simulation) manually. We can do this for now for the replication package of the paper (add a customized simulation to the replication package).