projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7bff213) | patch
Better error for invalid concrete syntax of sorts with too many parens, like (Int...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Jun 2014 16:02:37 +0000 (12:02 -0400)
committerlianah <lianahady@gmail.com>
Thu, 19 Jun 2014 22:24:40 +0000 (18:24 -0400)
commit0720ea721663177c3919eb2415dccdcc018f5c73
treee8c112b78e852b8fc7cc34e83cf89fa2d58b1a6btree
parent7bff213cbad334474b4db582d9965f7ef5ba9946commit | diff
Better error for invalid concrete syntax of sorts with too many parens, like (Int).  Thanks to Dan Liew for the report.
src/parser/smt2/Smt2.g diff | blob | history