projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a69f12) | patch
Improve error in CVC parser in presence of unrecognized command name.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 17:22:45 +0000 (13:22 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 3 Oct 2014 17:22:45 +0000 (13:22 -0400)
commit4fb42ac1e5a96c1633bb4570681b09db657f673d
tree7d2cc21a7ac9ab58e37cc1517ee1ed101c831d39tree
parent4a69f126fb2301f8da2db3841e1362aacb59362ccommit | diff
Improve error in CVC parser in presence of unrecognized command name.
src/parser/cvc/Cvc.g diff | blob | history