verify: new macro 'assume'

[gnulib.git] / modules / frexpl-nolibm-tests

diff --git a/modules/frexpl-nolibm-tests b/modules/frexpl-nolibm-tests
index 1648d95..7f5d547 100644 (file)
--- a/modules/frexpl-nolibm-tests
+++ b/modules/frexpl-nolibm-tests
@@ -1,9 +1,12 @@
 Files:
 tests/test-frexpl.c
+tests/test-frexp.h
 tests/minus-zero.h
+tests/infinity.h
 tests/nan.h
 tests/signature.h
 tests/macros.h
+tests/randoml.c
 
 Depends-on:
 fpucw
@@ -15,4 +18,4 @@ configure.ac:
 Makefile.am:
 TESTS += test-frexpl-nolibm
 check_PROGRAMS += test-frexpl-nolibm
-test_frexpl_nolibm_SOURCES = test-frexpl.c
+test_frexpl_nolibm_SOURCES = test-frexpl.c randoml.c