google test: theory: Migrate theory_bv_white. (#5987)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 25 Feb 2021 13:07:17 +0000 (05:07 -0800)
committerGitHub <noreply@github.com>
Thu, 25 Feb 2021 13:07:17 +0000 (14:07 +0100)
commitca532e04c4b484bbd5c99e0da62e07814dd77d6d
tree2da838649d754de4020b265d92f9ada5e55ab9b5
parentbac328252d9bc1053917ae3bfb02bad37f8f6130
google test: theory: Migrate theory_bv_white. (#5987)
test/unit/theory/CMakeLists.txt
test/unit/theory/theory_bv_white.cpp [new file with mode: 0644]
test/unit/theory/theory_bv_white.h [deleted file]