
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!



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..

