[Soot-list] -validate option

[Sergio Ferrero]

Thanks Eric!
I found the comments in the code after I placed the question.

Thanks again
Sergio


On Fri, Jun 28, 2013 at 1:41 PM, Bodden, Eric <eric.bodden at sit.fraunhofer.de
> wrote:

> Hi,
>
> > I'd like to know details about those internal checks, if possible, what
> all the internal checks performed are.
>
> This is only documented in the code, I am afraid.
>
> > For example, does it check that .jimple files were properly generated,
> one check I'd expect is to verify that all variables in a method have a
> declaration.
>
> I know that this check is indeed included.
>
> Eric
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130628/fdf88c48/attachment-0001.html