split files to test both variants

This commit is contained in:
Michael Hemmer 2006-11-16 10:33:13 +00:00
parent 178a03d99e
commit 67a49fd3b5
3 changed files with 34 additions and 1 deletions

3
.gitattributes vendored
View File

@ -1645,7 +1645,8 @@ Number_types/test/Number_types/Gmpz.C -text
Number_types/test/Number_types/Gmpzf_new.C -text
Number_types/test/Number_types/Interval_nt_new.C -text
Number_types/test/Number_types/Lazy_exact_nt_new.C -text
Number_types/test/Number_types/MP_Float_new.C -text
Number_types/test/Number_types/MP_Float_exact.C -text
Number_types/test/Number_types/MP_Float_inexact.C -text
Number_types/test/Number_types/Nef_polynomial.C -text
Number_types/test/Number_types/Quotient_new.C -text
Number_types/test/Number_types/Sqrt_extension.C -text

View File

@ -0,0 +1,32 @@
//#define CGAL_MP_FLOAT_ALLOW_INEXACT // TODO: How can I test both cases in one
// file?
#include <iostream>
#include <CGAL/MP_Float.h>
#include <CGAL/_test_algebraic_structure.h>
#include <CGAL/_test_real_embeddable.h>
int main() {
typedef CGAL::MP_Float NT;
#ifdef CGAL_MP_FLOAT_ALLOW_INEXACT
typedef CGAL::Field_with_sqrt_tag Tag;
typedef CGAL::Tag_false Is_exact;
#else
typedef CGAL::Euclidean_ring_tag Tag;
typedef CGAL::Tag_true Is_exact;
#endif
CGAL::test_algebraic_structure<NT,Tag, Is_exact>();
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(4),NT(6),NT(15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(-4),NT(6),NT(15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(4),NT(-6),NT(15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(-4),NT(-6),NT(15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(4),NT(6),NT(-15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(-4),NT(6), NT(15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(4),NT(-6),NT(-15));
CGAL::test_algebraic_structure<NT,Tag, Is_exact>(NT(-4),NT(-6),NT(-15));
CGAL::test_real_embeddable<NT>();
return 0;
}