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`...