How to get the Boogie VCExprAST tree node ?

Jan 20, 2013 at 7: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 ?


Jan 22, 2013 at 3: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..