Preconditon violation detection

[sloriot]

We noticed that there are some assertion violations that are not reported as error by the testsuite:

• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Algebraic_foundations/TestReport_Christo_MSVC2017-Debug-64bits.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Algebraic_foundations/TestReport_gimeno_ArchLinux-clang.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Algebraic_foundations/TestReport_gimeno_Debian-testing-clang-main.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_Christo_MSVC2017-Debug-64bits.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_gimeno_ArchLinux-clang.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_gimeno_Debian-testing-clang-main.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_gimeno_Ubuntu-Latest-NO_DEPRECATED_CODE.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_gimeno_Ubuntu-no-gmp-no-leda.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_ArchLinux-CXX17-Release.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_ArchLinux.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Debian-Stable.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Debian-Testing.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Fedora-32.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Fedora.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Fedora-rawhide.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Ubuntu-Latest-CXX11.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Arrangement_on_surface_2/TestReport_lrineau_Ubuntu-Latest.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Polygon_mesh_processing/TestReport_Christo_MSVC2017-Debug-64bits.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Polygon_mesh_processing/TestReport_gimeno_ArchLinux-clang.gz
• https://cgal.geometryfactory.com/CGAL/testsuite//CGAL-6.0-I-195/Polygon_mesh_processing/TestReport_gimeno_Debian-testing-clang-main.gz

Without looking at the testsuite script, I except that the executable should stop its execution and return an error code.

However in the link above, Arrangement continues. Is that expected @efifogel ? There something similar in the PMP links for isotropic remeshing. Is that expected @janetournois ?

[sloriot]

Ping @efifogel ping @janetournois