enzymefinance/oyente

How to output the result to a designate file

yz1019117968 opened this issue · 1 comments

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

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.