projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb18715) | patch
Fix parsing of SMT-LIBv2 |quoted| symbols that span newlines in interactive mode.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 21:04:34 +0000 (17:04 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 21:00:56 +0000 (17:00 -0400)
commitaef543d74c4fb23a86ad2986d67e7fc7f11d1feb
tree61fa1130327fffd2c48e340c54b41f80445c0509tree
parentcb1871573012e12029b06674ccc13f143b09c8a4commit | diff
Fix parsing of SMT-LIBv2 |quoted| symbols that span newlines in interactive mode.

Thanks to David Cok for raising this issue.
src/parser/parser.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history