projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc23785) | patch
Fix parsing of BVROTR by CVC parser
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 30 Nov 2016 18:29:27 +0000 (10:29 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 30 Nov 2016 18:34:42 +0000 (10:34 -0800)
commitf57cffc90547ea1c7c42d7b5a7d894c4e13eef94
tree0ac3027ad3298d557ec3fdaddbcbbbe9910c8dd4tree
parentbc2378517a2f4100ba614cd44b3aa047089c82c8commit | diff
Fix parsing of BVROTR by CVC parser

This commit fixes Bugzilla bug 766 as proposed by jacobly.alt@gmail.com.
src/parser/cvc/Cvc.g diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/cvc3.userdoc.01.cvc [new file with mode: 0644] blob
test/regress/regress0/cvc3.userdoc.02.cvc [new file with mode: 0644] blob
test/regress/regress0/cvc3.userdoc.03.cvc [new file with mode: 0644] blob
test/regress/regress0/cvc3.userdoc.04.cvc [new file with mode: 0644] blob
test/regress/regress0/cvc3.userdoc.05.cvc [new file with mode: 0644] blob
test/regress/regress0/cvc3.userdoc.06.cvc [new file with mode: 0644] blob