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

New parameter for the CLI tool #32

Closed mojtaba-eshghie closed 8 months ago

mojtaba-eshghie commented 8 months ago

paramap: parameter mapping between the function parameter and the value passed with the function call => { "functionName": { "paramName": { EVMType: "...", DCRType: "...", DCRID: "..." } } } should be received to identify which pair should be taken care of.

mojtaba-eshghie commented 8 months ago

Live example 👍 

{ 
   "startVoting": {
       "_hoursFromNow": {
            "EVMType": "uint256",
            "EVMUnit": "hours",
            "DCRType": "Datetime",
            "DCRNodeID": "_hoursFromNow"
        }
   } 
}