How to get the Boogie VCExprAST tree node ?

Jan 20, 2013 at 6:03 PM

Hi guys,

I am looking at the Boogie source code, does anybody know how to get the VCExprAST tree root node so that I can traverse this tree ?

Thanks! 

Jan 22, 2013 at 2:56 AM

By the way, where to find  BoogieAST in Boogie Project source code ? I think it's in the Parser.cs, it should return the root node of BoogieAST but I checked several times without finding it. Thanks for any suggestions..