Hi Dave, > > I just added some information here: > > http://developer.mozilla.org/Treehydra_Manual > > If you run the CFG example, that at least should give some idea of what > information is available.- Hide quoted text -
Thanks again :). I will check it out right away. I also saw in your blog about using theorem proving for solving some problems. Sounds interesting. Sreekumar _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
