Fix regression (#3827)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 26 Feb 2020 21:43:07 +0000 (15:43 -0600)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2020 21:43:07 +0000 (15:43 -0600)
commit2405b98feeed522d7304207280591a71ee6c319a
treee3313b4e948a65b224fa0d7df6b75a4dc2a7d170
parent3ef1df6e974ba572a8def512489cd9e47e9d2a2b
Fix regression (#3827)
src/theory/bv/theory_bv.cpp
test/regress/regress1/bv/issue3654.smt2
test/regress/regress1/bv/issue3776.smt2
test/regress/regress1/sygus/issue3802-default-consts.sy