search

enzymefinance / oyente

An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k stars 311 forks source link

Status of -gtc switch #362

Closed yxliang01 closed 5 years ago

yxliang01 commented 5 years ago

Looks like the -gtc has no functionality at master branch. Is this implemented anywhere? @luongnt95

Thanks!

yxliang01 commented 5 years ago

Oops, I somehow overlooked... It is working. Closing this.