search

enzymefinance / oyente

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

How to output the result to a designate file #373

Closed yz1019117968 closed 4 years ago

yz1019117968 commented 4 years ago

Dear sir, Sorry to bother. As a freshman. But How to output the result to a designated file.

yxliang01 commented 4 years ago

You may use "shell redirect" to put all outputs into a designate file. e.g. oyente SOME_CONTRACT > path_to_output_file

Closing as this is not related to Oyente.