Changeset 2ca80a in git

Timestamp:

Jul 6, 2020, 12:30:44 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

94479b06ea30b1f20ba9a730ece0083db571e984d2074da1e67ec5da4efe58b91ffe0852036db14f

Parents:

d6c852edab73f91c0b7fd573de9f4cb9c4880d7b

Message:

fix: make ceck for factroy w.NTL w/o FLINT

File:

• factory/test.cc (modified) (1 diff)

factory/test.cc

@@ -98 +98 @@
 
 //  On (SW_USE_EZGCD); On (SW_USE_EZGCD_P); // TODO&NOTE: these switches lead to failed tests (with nonzero p)!
-
-  Off (SW_USE_EZGCD);
-  Off (SW_USE_CHINREM_GCD);
+//  use the default switches (depend also on NTL/FLINT):
 
   int t= test2 (0);