search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

test_dyadic fails on gcc 12 #697

Closed lgeretti closed 1 year ago

lgeretti commented 1 year ago

By running coverage on Ubuntu gcc 12, the following test fails:

test_dyadic: /home/runner/work/ariadne/ariadne/tests/numeric/test_dyadic.cpp:169: void TestDyadic::test_infinity(): Assertion `-mp_exp_t_min == mp_exp_t_min' failed.
lgeretti commented 1 year ago

Just removed the assertion causing the problem, since we should not use assertions in tests anyway.