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 translation of transaction to DCR activity only considers one of the scenarios #69

Open mojtaba-eshghie opened 6 months ago

mojtaba-eshghie commented 6 months ago

Especially, the scenario that value of DCR graphs is just an integer or string (not time duration) is not considered and merely put to null in this line.