projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d51949) | patch
fix unit failures on debug without symfpu (#5212)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 8 Oct 2020 00:20:52 +0000 (17:20 -0700)
committerGitHub <noreply@github.com>
Thu, 8 Oct 2020 00:20:52 +0000 (17:20 -0700)
commit900a7217f8843a17f5ea6bb744b6013f2f394ed7
tree69a0f3b9373b7deabc253798002577ba530190bdtree
parent5d51949548af6df9a18f498de2d424f15988a07bcommit | diff
fix unit failures on debug without symfpu (#5212)

The following tests fail (locally) when compiling with debug and without symfpu:

unit/api/sort_black (Failed)
unit/theory/logic_info_white (Failed)
unit/util/floatingpoint_black (Child aborted)

This PR conditions the relevant parts of these tests to the availability of symfpu.

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
test/unit/api/sort_black.h diff | blob | history
test/unit/theory/logic_info_white.h diff | blob | history
test/unit/util/CMakeLists.txt diff | blob | history