Bad CVC parsing in vc_parseMemExpr in C interface

19 views
Skip to first unread message

Ryan Govostes

unread,
Feb 7, 2013, 9:02:55 PM2/7/13
to stp-...@googlegroups.com
In the C interface, vc_parseMemExpr calls smt_scan_string on the input both for SMT-LIB and CVC syntax. This will fail for CVC syntax, which needs to be scanned by cvc_scan_string.

Ryan

Trevor Hansen

unread,
Feb 11, 2013, 7:33:16 AM2/11/13
to stp-...@googlegroups.com


On Friday, February 8, 2013 1:02:55 PM UTC+11, Ryan Govostes wrote:
In the C interface, vc_parseMemExpr calls smt_scan_string on the input both for SMT-LIB and CVC syntax. This will fail for CVC syntax, which needs to be scanned by cvc_scan_string.

Ryan

Thanks for reporting this Ryan. The problem is fixed in r1669.



 
Reply all
Reply to author
Forward
0 new messages