projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94ef4f0) | patch
[Unit Tests] Avoid linking against external libs (#6898)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 16 Jul 2021 16:28:30 +0000 (09:28 -0700)
committerGitHub <noreply@github.com>
Fri, 16 Jul 2021 16:28:30 +0000 (16:28 +0000)
commit6ed0dc4e833421e7da9345bda0196c598f852d29
tree7649d05b7b946a0467eb368d9bb5705f8a1be0b2tree
parent94ef4f00bf18738c51501001f621ccbfba4f6d98commit | diff
[Unit Tests] Avoid linking against external libs (#6898)

Fixes #6866. The `theory_airth_cad_white` unit test has been failing on
some platforms (e.g., macOS) due to statically linking libpoly in
libcvc5 and then separately linking it in the unit tests. This resulted
in issues with `static` variables. This commit fixes the issue by
avoiding linking libpoly in the unit tests and instead relying solely on
libcvc5.

Co-authored-by: Ouyancheng <1024842937@qq.com>
test/unit/CMakeLists.txt diff | blob | history