oyente icon indicating copy to clipboard operation
oyente copied to clipboard

Quickest way to see reports per Contract

Open shashank-srikant opened this issue 6 years ago • 0 comments

What's the quickest/easiest way to run Oyente on a file containing multiple contracts, and viewing reports for every contract that appears in the file.

Currently, Oyente produces just one consolidated report for an input file.

shashank-srikant avatar Aug 23 '18 23:08 shashank-srikant