tests/bounded_tests.ml

   1 open Defs
   2
   3 let nullsum =
   4   begin
   5     assert (Bounded_nullsum.min_bound = N0);
   6     assert (Bounded_nullsum.max_bound = N3);
   7   end
   8
   9 let poly0 =
  10   begin
  11     assert (Bounded_poly0.min_bound = `T0);
  12     assert (Bounded_poly0.max_bound = `T3);
  13   end
  14
  15 let tup4 =
  16   begin
  17     assert (Bounded_tup4.min_bound = (min_int, min_int, false, ()));
  18     assert (Bounded_tup4.max_bound = (max_int, max_int, true, ()));
  19   end
  20
  21 let t =
  22   begin
  23     assert (Bounded_t.min_bound = min_int);
  24     assert (Bounded_t.max_bound = max_int);
  25 end