regression/int.ok

   1
   2 File int.sml: Testing structure Int...
   3 test1a          OK
   4 test1b          OK
   5 test1c          OK
   6 test1d          OK
   7 test2a          OK
   8 test2b          OK
   9 test2c          OK
  10 test2d          OK
  11 test3           OK
  12 test4           OK
  13 test5           OK
  14 test6           OK
  15 test12          OK
  16 chk     OK
  17 chk     OK
  18 chk     OK
  19 chk     OK
  20 chk     OK
  21 chk     OK
  22 chk     OK
  23 chk     OK
  24 chk     OK
  25 chk     OK
  26 chk     OK
  27 chk     OK
  28 chk     OK
  29 chk     OK
  30 test13b         OK
  31 test13b         OK
  32 test13b         OK
  33 test13b         OK
  34 test13b         OK
  35 test13b         OK
  36 test13b         OK
  37 test13b         OK
  38 test13b         OK
  39 test13b         OK
  40 test13b         OK
  41 test13b         OK
  42 chk     OK
  43 chk     OK
  44 chk     OK
  45 chk     OK
  46 chk     OK
  47 chk     OK
  48 chk     OK
  49 chk     OK
  50 chk     OK
  51 chk     OK
  52 chk     OK
  53 chk     OK
  54 chk     OK
  55 chk     OK
  56 test14b         OK
  57 test14b         OK
  58 test14b         OK
  59 test14b         OK
  60 test14b         OK
  61 test14b         OK
  62 test14b         OK
  63 test14b         OK
  64 test14b         OK
  65 test14b         OK
  66 test14b         OK
  67 test14b         OK
  68 chk     OK
  69 chk     OK
  70 chk     OK
  71 chk     OK
  72 chk     OK
  73 chk     OK
  74 chk     OK
  75 chk     OK
  76 chk     OK
  77 chk     OK
  78 chk     OK
  79 chk     OK
  80 chk     OK
  81 chk     OK
  82 test15b         OK
  83 test15b         OK
  84 test15b         OK
  85 test15b         OK
  86 test15b         OK
  87 test15b         OK
  88 test15b         OK
  89 test15b         OK
  90 test15b         OK
  91 test15b         OK
  92 test15b         OK
  93 test15b         OK
  94 test15b         OK
  95 test15b         OK
  96 chk     OK
  97 chk     OK
  98 chk     OK
  99 chk     OK
 100 chk     OK
 101 chk     OK
 102 chk     OK
 103 chk     OK
 104 chk     OK
 105 chk     OK
 106 chk     OK
 107 chk     OK
 108 chk     OK
 109 chk     OK
 110 test16b         OK
 111 test16b         OK
 112 test16b         OK
 113 test16b         OK
 114 test16b         OK
 115 test16b         OK
 116 test16b         OK
 117 test16b         OK
 118 test16b         OK
 119 test16b         OK
 120 test16b         OK
 121 test16b         OK
 122 test16b         OK
 123 chk     OK
 124 chk     OK
 125 chk     OK
 126 chk     OK
 127 chk     OK
 128 chk     OK
 129 chk     OK
 130 chk     OK
 131 chk     OK
 132 chk     OK
 133 chk     OK
 134 chk     OK
 135 chk     OK
 136 chk     OK
 137 chk     OK
 138 chk     OK
 139 chk     OK
 140 chk     OK
 141 chk     OK
 142 chk     OK
 143 chk     OK
 144 chk     OK
 145 chk     OK
 146 chk     OK
 147 chk     OK
 148 test17b         OK
 149 test17b         OK
 150 test17b         OK
 151 test17b         OK
 152 test17b         OK
 153 test17b         OK
 154 test17b         OK
 155 test17b         OK
 156 test17b         OK
 157 test17b         OK
 158 test17b         OK
 159 test18          OK
 160 test19          OK
 161 test20          OK
 162 test21          OK
 163 test22          OK