diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-09-30 14:05:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-30 14:05:29 -0700 |
| commit | aa65c60968d0b8c0a7cd47adb2e9e1a684c0332a (patch) | |
| tree | b70780307f3f1c7310e95e45e937abcdba39ad73 /test/unit/util/CMakeLists.txt | |
| parent | 2bd861b27f6e340ea5f6739ac57bb6ffa61ffbfc (diff) | |
FloatingPoint: Add utility functions for largest and smallest subnormal. (#5166)
Diffstat (limited to 'test/unit/util/CMakeLists.txt')
| -rw-r--r-- | test/unit/util/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/unit/util/CMakeLists.txt b/test/unit/util/CMakeLists.txt index 5312342a2..c5753e732 100644 --- a/test/unit/util/CMakeLists.txt +++ b/test/unit/util/CMakeLists.txt @@ -21,6 +21,7 @@ cvc4_add_unit_test_white(check_white util) cvc4_add_unit_test_black(configuration_black util) cvc4_add_unit_test_black(datatype_black util) cvc4_add_unit_test_black(exception_black util) +cvc4_add_unit_test_black(floatingpoint_black util) cvc4_add_unit_test_black(integer_black util) cvc4_add_unit_test_white(integer_white util) cvc4_add_unit_test_black(output_black util) |