projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 327b4bf) | patch
Fixing test plus-mult.cvc by making it linear (Fixes: #184)
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 16:02:10 +0000 (16:02 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 16:02:10 +0000 (16:02 +0000)
commit26c1b20086b26da79d938057b7761de95fabf731
treeb843f95b9219891ac72cab1b1d0fefc6ce505939tree
parent327b4bf823a8077930bdc9bf4ae7903087ee06bacommit | diff
Fixing test plus-mult.cvc by making it linear (Fixes: #184)
test/regress/regress0/precedence/Makefile.am diff | blob | history
test/regress/regress0/precedence/plus-mult.cvc diff | blob | history