michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

test(numerics/numeric_traits): add missing test

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-10-28 07:50:33 -07:00
parent 1d18f60dd5
commit 5f11392fcc
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/tests/util/numerics/numeric_traits.cpp
View file

@ -20,6 +20,7 @@ void tst_num(T const & a) {
std::cout << "zero: " << numeric_traits<T>::zero() << "\n"; std::cout << "zero: " << numeric_traits<T>::zero() << "\n";
std::cout << "is type precise: " << std::boolalpha << numeric_traits<T>::precise() << "\n"; std::cout << "is type precise: " << std::boolalpha << numeric_traits<T>::precise() << "\n";
std::cout << "typeid: " << typeid(T).name() << "\n"; std::cout << "typeid: " << typeid(T).name() << "\n";
lean_assert(numeric_traits<T>::is_zero(numeric_traits<T>::zero()));
std::cout << "\n"; std::cout << "\n";
} }