projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b017f6) | patch
Making plus-mult.cvc test a bit more torturous (as enabled by r744)
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 16:25:36 +0000 (16:25 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 7 Jul 2010 16:25:36 +0000 (16:25 +0000)
commit97eb2d77fddb9c690cc2ebc2caff98d62467b671
tree65497855d1341f9d6f95df8adf1e706f3b7dcef4tree
parent3b017f6c69c9a32e229fe3a9e8b5aeacbfc35a47commit | diff
Making plus-mult.cvc test a bit more torturous (as enabled by r744)
test/regress/regress0/precedence/plus-mult.cvc diff | blob | history