components/ocaml/zarith/test/results-all.master

   1 zq: passed
   2 zq: passed
   3 pi: passed
   4 Default rounding mode (Z) (100000 tests)... passed
   5 Default rounding mode (Q) (100000 tests)... passed
   6 Round toward zero (Z) (100000 tests)... passed
   7 Round toward zero (Q) (100000 tests)... passed
   8 Round downward (Z) (100000 tests)... passed
   9 Round downward (Q) (100000 tests)... passed
  10 Round upward (Z) (100000 tests)... passed
  11 Round upward (Q) (100000 tests)... passed
  12 Round to nearest (Z) (100000 tests)... passed
  13 Round to nearest (Q) (100000 tests)... passed