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

Add more DCR Model information extraction utitility functions. #55

Closed mojtaba-eshghie closed 6 months ago

mojtaba-eshghie commented 6 months ago

The required functions are:

Both of the above functions should merely need a dcrID to return

mojtaba-eshghie commented 6 months ago

lib/dcr/info.js