projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c4702e) | patch
Fixed disabling the BV equality slicer for quantifiers. (#1623)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 22 Feb 2018 19:11:39 +0000 (11:11 -0800)
committerGitHub <noreply@github.com>
Thu, 22 Feb 2018 19:11:39 +0000 (11:11 -0800)
commit54321626c1939b055b2b48f15e9bdb3844abb89c
treeb215e3aa9c9603c12ae7da9f27525e1088529faatree
parent3c4702e9381998b72622607e25c1532cb1c55418commit | diff
Fixed disabling the BV equality slicer for quantifiers. (#1623)

This fixes an incorrect condition introduced in #1619 to disable the BV equality slicer.
src/theory/theory_engine.cpp diff | blob | history