projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc23785) | patch
Add unit test for `MultDistrib` rule
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 30 Nov 2016 17:03:36 +0000 (09:03 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 30 Nov 2016 17:03:36 +0000 (09:03 -0800)
commitc8f823af1557b60770e73342504d1ee151e6a59f
tree4303bdad7ddfe7b1b119e8fd6f51538fe5404ab8tree
parentbc2378517a2f4100ba614cd44b3aa047089c82c8commit | diff
Add unit test for `MultDistrib` rule

This unit test checks that the issue fixed by commit
c0c424283c12cfce2874ea92188487d91acecdf3 has been resolved.
test/unit/theory/theory_engine_white.h diff | blob | history