regression/math.ok

   1
   2 File math.sml: Testing structure Math...
   3 test0a          OK
   4 test0b          OK
   5 test1a          OK
   6 test1b          OK
   7 test1c          OK
   8 test2a          OK
   9 test2b          OK
  10 test2c          OK
  11 test2d          OK
  12 test3a          OK
  13 test3b          OK
  14 test3c          OK
  15 test3d          OK
  16 test4a          OK
  17 test4b          OK
  18 test4c          OK
  19 test4d          OK
  20 test4e          OK
  21 test4f          OK
  22 test4g          OK
  23 test5a          OK
  24 test5b          OK
  25 test5c          OK
  26 test5d          OK
  27 test5e          OK
  28 test6a          OK
  29 test6b          OK
  30 test6c          OK
  31 test6d          OK
  32 test6e          OK
  33 test7a          OK
  34 test7b          OK
  35 test7c          OK
  36 test7d          OK
  37 test7e          OK
  38 test8a          OK
  39 test8b          OK
  40 test8c          OK
  41 test8d          OK
  42 test8e          OK
  43 test8f          OK
  44 test8g          OK
  45 test8h          OK
  46 test8i          OK
  47 test8j          OK
  48 test8k          OK
  49 test8l          OK
  50 test9a          OK
  51 test9b          OK
  52 test9c          OK
  53 test10a         OK
  54 test10b         OK
  55 test10c         OK
  56 test10d         OK
  57 test10e         OK
  58 test10f         OK
  59 test10g         OK
  60 test12a         OK
  61 test12b         OK
  62 test12c         OK
  63 test12d         OK
  64 test12e         OK
  65 test12f         OK
  66 test12g         OK
  67 test12h         OK
  68 test12i         OK
  69 test12l         OK
  70 test12m         OK
  71 test13a         OK
  72 test13b         OK
  73 test13c         OK
  74 test13d         OK
  75 test13e         OK
  76 test14a         OK
  77 test14b         OK
  78 test14c         OK
  79 test14d         OK
  80 test14e         OK
  81 test15a         OK
  82 test15b         OK
  83 test15c         OK
  84 test15d         OK
  85 test15e         OK
  86 test16a         OK
  87 test16b         OK
  88 test16c         OK
  89 test16d         OK
  90 test16e         OK
  91 test16f         OK
  92 test16g         OK