projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e77ded9) | 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)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Jun 2014 16:02:37 +0000 (12:02 -0400)
commit5d59ca8bbb1bfc557971c24a87e8ef9db9b69c33
treee8c112b78e852b8fc7cc34e83cf89fa2d58b1a6btree
parente77ded9307cd64aaaa8fe79a28f9c715ece3794ecommit | 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