step-xiaoyu-ka
Results
2
issues of
step-xiaoyu-ka
### Summary of the problem Hi, I ran a multiprocess script on top of ETHMBMC to analyze multiple smart contracts offline where a timeout of 30 minutes for each contract...
### Summary of the problem Hi, I used EthBMC for on chain contract address list analysis with the command: ``` /target/release/ethbmc --ip 127.0.0.1 --list -b 1 ./contract_list/contract_list9-4.txt ``` where `contract_list9-4.txt`...