Fix BVGauss unit tests. (#3142)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 2 Aug 2019 05:55:25 +0000 (22:55 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Aug 2019 05:55:25 +0000 (22:55 -0700)
commit71d0ce95f1e5ab74f3b0074494d4e8a4137fd079
treea6e472b739fe4a6b6318367337ce2224d8b1bcb6
parent0f32fff652b6bac70cc18fbaa49f922ca27c58e6
Fix BVGauss unit tests. (#3142)

pass_bv_gauss_white.h included bv_gauss.cpp to test the functions in the
anonymous namespace, which resulted in ODR (one definition rule)
violations reported by ASAN.

This commit exposes the functionality required in the unit tests as
private static members of the BVGauss class. Since this is a white unit
test, we can access private members in the tests.
src/preprocessing/passes/bv_gauss.cpp
src/preprocessing/passes/bv_gauss.h
test/unit/preprocessing/pass_bv_gauss_white.h