search

Dyalog / ullu

Testing primitives of DyalogAPL
MIT License
1 stars 0 forks source link

add manual cross tests for membership #2

Closed sloorush closed 1 year ago

sloorush commented 1 year ago

Verbose test log:

      unittest.RunTests test_membership 1 0

Options:
      verbose: 1
      stop: 0

 #.test_membership.Test_DR 
 tb1  for ⎕DR 11 :  [OK] 
 tb2  for ⎕DR 11 :  [OK] 
 tb3  for ⎕DR 11 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 83 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 163 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 323 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 80 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 160 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 320 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 326 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 645 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1287 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcrossBool  for ⎕DR 11 and 1289 :  [OK] 
 tcross0  for ⎕DR 83 and 83 :  [OK] 
 tcross1  for ⎕DR 83 and 163 :  [OK] 
 tcross2  for ⎕DR 83 and 163 :  [OK] 
 tcross3  for ⎕DR 83 and 163 :  [OK] 
 tcross4  for ⎕DR 83 and 163 :  [OK] 
 tcross1  for ⎕DR 83 and 323 :  [OK] 
 tcross2  for ⎕DR 83 and 323 :  [OK] 
 tcross3  for ⎕DR 83 and 323 :  [OK] 
 tcross4  for ⎕DR 83 and 323 :  [OK] 
 tcross1  for ⎕DR 83 and 80 :  [OK] 
 tcross2  for ⎕DR 83 and 80 :  [OK] 
 tcross3  for ⎕DR 83 and 80 :  [OK] 
 tcross4  for ⎕DR 83 and 80 :  [OK] 
 tcross1  for ⎕DR 83 and 160 :  [OK] 
 tcross2  for ⎕DR 83 and 160 :  [OK] 
 tcross3  for ⎕DR 83 and 160 :  [OK] 
 tcross4  for ⎕DR 83 and 160 :  [OK] 
 tcross1  for ⎕DR 83 and 320 :  [OK] 
 tcross2  for ⎕DR 83 and 320 :  [OK] 
 tcross3  for ⎕DR 83 and 320 :  [OK] 
 tcross4  for ⎕DR 83 and 320 :  [OK] 
 tcross1  for ⎕DR 83 and 326 :  [OK] 
 tcross2  for ⎕DR 83 and 326 :  [OK] 
 tcross3  for ⎕DR 83 and 326 :  [OK] 
 tcross4  for ⎕DR 83 and 326 :  [OK] 
 tcross1  for ⎕DR 83 and 645 :  [OK] 
 tcross2  for ⎕DR 83 and 645 :  [OK] 
 tcross3  for ⎕DR 83 and 645 :  [OK] 
 tcross4  for ⎕DR 83 and 645 :  [OK] 
 tcross1  for ⎕DR 83 and 1287 :  [OK] 
 tcross2  for ⎕DR 83 and 1287 :  [OK] 
 tcross3  for ⎕DR 83 and 1287 :  [OK] 
 tcross4  for ⎕DR 83 and 1287 :  [OK] 
 tcross1  for ⎕DR 83 and 1289 :  [OK] 
 tcross2  for ⎕DR 83 and 1289 :  [OK] 
 tcross3  for ⎕DR 83 and 1289 :  [OK] 
 tcross4  for ⎕DR 83 and 1289 :  [OK] 
 t1  for ⎕DR 83 :  [OK] 
 t2  for ⎕DR 83 :  [OK] 
 t3  for ⎕DR 83 :  [OK] 
 t4.1  for ⎕DR 83 :  [OK] 
 tcross1  for ⎕DR 163 and 83 :  [OK] 
 tcross2  for ⎕DR 163 and 83 :  [OK] 
 tcross3  for ⎕DR 163 and 83 :  [OK] 
 tcross4  for ⎕DR 163 and 83 :  [OK] 
 tcross0  for ⎕DR 163 and 163 :  [OK] 
 tcross1  for ⎕DR 163 and 323 :  [OK] 
 tcross2  for ⎕DR 163 and 323 :  [OK] 
 tcross3  for ⎕DR 163 and 323 :  [OK] 
 tcross4  for ⎕DR 163 and 323 :  [OK] 
 tcross1  for ⎕DR 163 and 80 :  [OK] 
 tcross2  for ⎕DR 163 and 80 :  [OK] 
 tcross3  for ⎕DR 163 and 80 :  [OK] 
 tcross4  for ⎕DR 163 and 80 :  [OK] 
 tcross1  for ⎕DR 163 and 160 :  [OK] 
 tcross2  for ⎕DR 163 and 160 :  [OK] 
 tcross3  for ⎕DR 163 and 160 :  [OK] 
 tcross4  for ⎕DR 163 and 160 :  [OK] 
 tcross1  for ⎕DR 163 and 320 :  [OK] 
 tcross2  for ⎕DR 163 and 320 :  [OK] 
 tcross3  for ⎕DR 163 and 320 :  [OK] 
 tcross4  for ⎕DR 163 and 320 :  [OK] 
 tcross1  for ⎕DR 163 and 326 :  [OK] 
 tcross2  for ⎕DR 163 and 326 :  [OK] 
 tcross3  for ⎕DR 163 and 326 :  [OK] 
 tcross4  for ⎕DR 163 and 326 :  [OK] 
 tcross1  for ⎕DR 163 and 645 :  [OK] 
 tcross2  for ⎕DR 163 and 645 :  [OK] 
 tcross3  for ⎕DR 163 and 645 :  [OK] 
 tcross4  for ⎕DR 163 and 645 :  [OK] 
 tcross1  for ⎕DR 163 and 1287 :  [OK] 
 tcross2  for ⎕DR 163 and 1287 :  [OK] 
 tcross3  for ⎕DR 163 and 1287 :  [OK] 
 tcross4  for ⎕DR 163 and 1287 :  [OK] 
 tcross1  for ⎕DR 163 and 1289 :  [OK] 
 tcross2  for ⎕DR 163 and 1289 :  [OK] 
 tcross3  for ⎕DR 163 and 1289 :  [OK] 
 tcross4  for ⎕DR 163 and 1289 :  [OK] 
 t1  for ⎕DR 163 :  [OK] 
 t2  for ⎕DR 163 :  [OK] 
 t3  for ⎕DR 163 :  [OK] 
 t4.1  for ⎕DR 163 :  [OK] 
 tcross1  for ⎕DR 323 and 83 :  [OK] 
 tcross2  for ⎕DR 323 and 83 :  [OK] 
 tcross3  for ⎕DR 323 and 83 :  [OK] 
 tcross4  for ⎕DR 323 and 83 :  [OK] 
 tcross1  for ⎕DR 323 and 163 :  [OK] 
 tcross2  for ⎕DR 323 and 163 :  [OK] 
 tcross3  for ⎕DR 323 and 163 :  [OK] 
 tcross4  for ⎕DR 323 and 163 :  [OK] 
 tcross0  for ⎕DR 323 and 323 :  [OK] 
 tcross1  for ⎕DR 323 and 80 :  [OK] 
 tcross2  for ⎕DR 323 and 80 :  [OK] 
 tcross3  for ⎕DR 323 and 80 :  [OK] 
 tcross4  for ⎕DR 323 and 80 :  [OK] 
 tcross1  for ⎕DR 323 and 160 :  [OK] 
 tcross2  for ⎕DR 323 and 160 :  [OK] 
 tcross3  for ⎕DR 323 and 160 :  [OK] 
 tcross4  for ⎕DR 323 and 160 :  [OK] 
 tcross1  for ⎕DR 323 and 320 :  [OK] 
 tcross2  for ⎕DR 323 and 320 :  [OK] 
 tcross3  for ⎕DR 323 and 320 :  [OK] 
 tcross4  for ⎕DR 323 and 320 :  [OK] 
 tcross1  for ⎕DR 323 and 326 :  [OK] 
 tcross2  for ⎕DR 323 and 326 :  [OK] 
 tcross3  for ⎕DR 323 and 326 :  [OK] 
 tcross4  for ⎕DR 323 and 326 :  [OK] 
 tcross1  for ⎕DR 323 and 645 :  [OK] 
 tcross2  for ⎕DR 323 and 645 :  [OK] 
 tcross3  for ⎕DR 323 and 645 :  [OK] 
 tcross4  for ⎕DR 323 and 645 :  [OK] 
 tcross1  for ⎕DR 323 and 1287 :  [OK] 
 tcross2  for ⎕DR 323 and 1287 :  [OK] 
 tcross3  for ⎕DR 323 and 1287 :  [OK] 
 tcross4  for ⎕DR 323 and 1287 :  [OK] 
 tcross1  for ⎕DR 323 and 1289 :  [OK] 
 tcross2  for ⎕DR 323 and 1289 :  [OK] 
 tcross3  for ⎕DR 323 and 1289 :  [OK] 
 tcross4  for ⎕DR 323 and 1289 :  [OK] 
 t1  for ⎕DR 323 :  [OK] 
 t2  for ⎕DR 323 :  [OK] 
 t3  for ⎕DR 323 :  [OK] 
 t4.1  for ⎕DR 323 :  [OK] 
 tcross1  for ⎕DR 80 and 83 :  [OK] 
 tcross2  for ⎕DR 80 and 83 :  [OK] 
 tcross3  for ⎕DR 80 and 83 :  [OK] 
 tcross4  for ⎕DR 80 and 83 :  [OK] 
 tcross1  for ⎕DR 80 and 163 :  [OK] 
 tcross2  for ⎕DR 80 and 163 :  [OK] 
 tcross3  for ⎕DR 80 and 163 :  [OK] 
 tcross4  for ⎕DR 80 and 163 :  [OK] 
 tcross1  for ⎕DR 80 and 323 :  [OK] 
 tcross2  for ⎕DR 80 and 323 :  [OK] 
 tcross3  for ⎕DR 80 and 323 :  [OK] 
 tcross4  for ⎕DR 80 and 323 :  [OK] 
 tcross0  for ⎕DR 80 and 80 :  [OK] 
 tcross1  for ⎕DR 80 and 160 :  [OK] 
 tcross2  for ⎕DR 80 and 160 :  [OK] 
 tcross3  for ⎕DR 80 and 160 :  [OK] 
 tcross4  for ⎕DR 80 and 160 :  [OK] 
 tcross1  for ⎕DR 80 and 320 :  [OK] 
 tcross2  for ⎕DR 80 and 320 :  [OK] 
 tcross3  for ⎕DR 80 and 320 :  [OK] 
 tcross4  for ⎕DR 80 and 320 :  [OK] 
 tcross1  for ⎕DR 80 and 326 :  [OK] 
 tcross2  for ⎕DR 80 and 326 :  [OK] 
 tcross3  for ⎕DR 80 and 326 :  [OK] 
 tcross4  for ⎕DR 80 and 326 :  [OK] 
 tcross1  for ⎕DR 80 and 645 :  [OK] 
 tcross2  for ⎕DR 80 and 645 :  [OK] 
 tcross3  for ⎕DR 80 and 645 :  [OK] 
 tcross4  for ⎕DR 80 and 645 :  [OK] 
 tcross1  for ⎕DR 80 and 1287 :  [OK] 
 tcross2  for ⎕DR 80 and 1287 :  [OK] 
 tcross3  for ⎕DR 80 and 1287 :  [OK] 
 tcross4  for ⎕DR 80 and 1287 :  [OK] 
 tcross1  for ⎕DR 80 and 1289 :  [OK] 
 tcross2  for ⎕DR 80 and 1289 :  [OK] 
 tcross3  for ⎕DR 80 and 1289 :  [OK] 
 tcross4  for ⎕DR 80 and 1289 :  [OK] 
 t1  for ⎕DR 80 :  [OK] 
 t2  for ⎕DR 80 :  [OK] 
 t3  for ⎕DR 80 :  [OK] 
 t4.2  for ⎕DR 80 :  [OK] 
 tcross1  for ⎕DR 160 and 83 :  [OK] 
 tcross2  for ⎕DR 160 and 83 :  [OK] 
 tcross3  for ⎕DR 160 and 83 :  [OK] 
 tcross4  for ⎕DR 160 and 83 :  [OK] 
 tcross1  for ⎕DR 160 and 163 :  [OK] 
 tcross2  for ⎕DR 160 and 163 :  [OK] 
 tcross3  for ⎕DR 160 and 163 :  [OK] 
 tcross4  for ⎕DR 160 and 163 :  [OK] 
 tcross1  for ⎕DR 160 and 323 :  [OK] 
 tcross2  for ⎕DR 160 and 323 :  [OK] 
 tcross3  for ⎕DR 160 and 323 :  [OK] 
 tcross4  for ⎕DR 160 and 323 :  [OK] 
 tcross1  for ⎕DR 160 and 80 :  [OK] 
 tcross2  for ⎕DR 160 and 80 :  [OK] 
 tcross3  for ⎕DR 160 and 80 :  [OK] 
 tcross4  for ⎕DR 160 and 80 :  [OK] 
 tcross0  for ⎕DR 160 and 160 :  [OK] 
 tcross1  for ⎕DR 160 and 320 :  [OK] 
 tcross2  for ⎕DR 160 and 320 :  [OK] 
 tcross3  for ⎕DR 160 and 320 :  [OK] 
 tcross4  for ⎕DR 160 and 320 :  [OK] 
 tcross1  for ⎕DR 160 and 326 :  [OK] 
 tcross2  for ⎕DR 160 and 326 :  [OK] 
 tcross3  for ⎕DR 160 and 326 :  [OK] 
 tcross4  for ⎕DR 160 and 326 :  [OK] 
 tcross1  for ⎕DR 160 and 645 :  [OK] 
 tcross2  for ⎕DR 160 and 645 :  [OK] 
 tcross3  for ⎕DR 160 and 645 :  [OK] 
 tcross4  for ⎕DR 160 and 645 :  [OK] 
 tcross1  for ⎕DR 160 and 1287 :  [OK] 
 tcross2  for ⎕DR 160 and 1287 :  [OK] 
 tcross3  for ⎕DR 160 and 1287 :  [OK] 
 tcross4  for ⎕DR 160 and 1287 :  [OK] 
 tcross1  for ⎕DR 160 and 1289 :  [OK] 
 tcross2  for ⎕DR 160 and 1289 :  [OK] 
 tcross3  for ⎕DR 160 and 1289 :  [OK] 
 tcross4  for ⎕DR 160 and 1289 :  [OK] 
 t1  for ⎕DR 160 :  [OK] 
 t2  for ⎕DR 160 :  [OK] 
 t3  for ⎕DR 160 :  [OK] 
 t4.2  for ⎕DR 160 :  [OK] 
 tcross1  for ⎕DR 320 and 83 :  [OK] 
 tcross2  for ⎕DR 320 and 83 :  [OK] 
 tcross3  for ⎕DR 320 and 83 :  [OK] 
 tcross4  for ⎕DR 320 and 83 :  [OK] 
 tcross1  for ⎕DR 320 and 163 :  [OK] 
 tcross2  for ⎕DR 320 and 163 :  [OK] 
 tcross3  for ⎕DR 320 and 163 :  [OK] 
 tcross4  for ⎕DR 320 and 163 :  [OK] 
 tcross1  for ⎕DR 320 and 323 :  [OK] 
 tcross2  for ⎕DR 320 and 323 :  [OK] 
 tcross3  for ⎕DR 320 and 323 :  [OK] 
 tcross4  for ⎕DR 320 and 323 :  [OK] 
 tcross1  for ⎕DR 320 and 80 :  [OK] 
 tcross2  for ⎕DR 320 and 80 :  [OK] 
 tcross3  for ⎕DR 320 and 80 :  [OK] 
 tcross4  for ⎕DR 320 and 80 :  [OK] 
 tcross1  for ⎕DR 320 and 160 :  [OK] 
 tcross2  for ⎕DR 320 and 160 :  [OK] 
 tcross3  for ⎕DR 320 and 160 :  [OK] 
 tcross4  for ⎕DR 320 and 160 :  [OK] 
 tcross0  for ⎕DR 320 and 320 :  [OK] 
 tcross1  for ⎕DR 320 and 326 :  [OK] 
 tcross2  for ⎕DR 320 and 326 :  [OK] 
 tcross3  for ⎕DR 320 and 326 :  [OK] 
 tcross4  for ⎕DR 320 and 326 :  [OK] 
 tcross1  for ⎕DR 320 and 645 :  [OK] 
 tcross2  for ⎕DR 320 and 645 :  [OK] 
 tcross3  for ⎕DR 320 and 645 :  [OK] 
 tcross4  for ⎕DR 320 and 645 :  [OK] 
 tcross1  for ⎕DR 320 and 1287 :  [OK] 
 tcross2  for ⎕DR 320 and 1287 :  [OK] 
 tcross3  for ⎕DR 320 and 1287 :  [OK] 
 tcross4  for ⎕DR 320 and 1287 :  [OK] 
 tcross1  for ⎕DR 320 and 1289 :  [OK] 
 tcross2  for ⎕DR 320 and 1289 :  [OK] 
 tcross3  for ⎕DR 320 and 1289 :  [OK] 
 tcross4  for ⎕DR 320 and 1289 :  [OK] 
 t1  for ⎕DR 320 :  [OK] 
 t2  for ⎕DR 320 :  [OK] 
 t3  for ⎕DR 320 :  [OK] 
 t4.2  for ⎕DR 320 :  [OK] 
 tcross1  for ⎕DR 326 and 83 :  [OK] 
 tcross2  for ⎕DR 326 and 83 :  [OK] 
 tcross3  for ⎕DR 326 and 83 :  [OK] 
 tcross4  for ⎕DR 326 and 83 :  [OK] 
 tcross1  for ⎕DR 326 and 163 :  [OK] 
 tcross2  for ⎕DR 326 and 163 :  [OK] 
 tcross3  for ⎕DR 326 and 163 :  [OK] 
 tcross4  for ⎕DR 326 and 163 :  [OK] 
 tcross1  for ⎕DR 326 and 323 :  [OK] 
 tcross2  for ⎕DR 326 and 323 :  [OK] 
 tcross3  for ⎕DR 326 and 323 :  [OK] 
 tcross4  for ⎕DR 326 and 323 :  [OK] 
 tcross1  for ⎕DR 326 and 80 :  [OK] 
 tcross2  for ⎕DR 326 and 80 :  [OK] 
 tcross3  for ⎕DR 326 and 80 :  [OK] 
 tcross4  for ⎕DR 326 and 80 :  [OK] 
 tcross1  for ⎕DR 326 and 160 :  [OK] 
 tcross2  for ⎕DR 326 and 160 :  [OK] 
 tcross3  for ⎕DR 326 and 160 :  [OK] 
 tcross4  for ⎕DR 326 and 160 :  [OK] 
 tcross1  for ⎕DR 326 and 320 :  [OK] 
 tcross2  for ⎕DR 326 and 320 :  [OK] 
 tcross3  for ⎕DR 326 and 320 :  [OK] 
 tcross4  for ⎕DR 326 and 320 :  [OK] 
 tcross0  for ⎕DR 326 and 326 :  [OK] 
 tcross1  for ⎕DR 326 and 645 :  [OK] 
 tcross2  for ⎕DR 326 and 645 :  [OK] 
 tcross3  for ⎕DR 326 and 645 :  [OK] 
 tcross4  for ⎕DR 326 and 645 :  [OK] 
 tcross1  for ⎕DR 326 and 1287 :  [OK] 
 tcross2  for ⎕DR 326 and 1287 :  [OK] 
 tcross3  for ⎕DR 326 and 1287 :  [OK] 
 tcross4  for ⎕DR 326 and 1287 :  [OK] 
 tcross1  for ⎕DR 326 and 1289 :  [OK] 
 tcross2  for ⎕DR 326 and 1289 :  [OK] 
 tcross3  for ⎕DR 326 and 1289 :  [OK] 
 tcross4  for ⎕DR 326 and 1289 :  [OK] 
 t1  for ⎕DR 326 :  [OK] 
 t2  for ⎕DR 326 :  [OK] 
 t3  for ⎕DR 326 :  [OK] 
 tcross1  for ⎕DR 645 and 83 :  [OK] 
 tcross2  for ⎕DR 645 and 83 :  [OK] 
 tcross3  for ⎕DR 645 and 83 :  [OK] 
 tcross4  for ⎕DR 645 and 83 :  [OK] 
 tcross1  for ⎕DR 645 and 163 :  [OK] 
 tcross2  for ⎕DR 645 and 163 :  [OK] 
 tcross3  for ⎕DR 645 and 163 :  [OK] 
 tcross4  for ⎕DR 645 and 163 :  [OK] 
 tcross1  for ⎕DR 645 and 323 :  [OK] 
 tcross2  for ⎕DR 645 and 323 :  [OK] 
 tcross3  for ⎕DR 645 and 323 :  [OK] 
 tcross4  for ⎕DR 645 and 323 :  [OK] 
 tcross1  for ⎕DR 645 and 80 :  [OK] 
 tcross2  for ⎕DR 645 and 80 :  [OK] 
 tcross3  for ⎕DR 645 and 80 :  [OK] 
 tcross4  for ⎕DR 645 and 80 :  [OK] 
 tcross1  for ⎕DR 645 and 160 :  [OK] 
 tcross2  for ⎕DR 645 and 160 :  [OK] 
 tcross3  for ⎕DR 645 and 160 :  [OK] 
 tcross4  for ⎕DR 645 and 160 :  [OK] 
 tcross1  for ⎕DR 645 and 320 :  [OK] 
 tcross2  for ⎕DR 645 and 320 :  [OK] 
 tcross3  for ⎕DR 645 and 320 :  [OK] 
 tcross4  for ⎕DR 645 and 320 :  [OK] 
 tcross1  for ⎕DR 645 and 326 :  [OK] 
 tcross2  for ⎕DR 645 and 326 :  [OK] 
 tcross3  for ⎕DR 645 and 326 :  [OK] 
 tcross4  for ⎕DR 645 and 326 :  [OK] 
 tcross0  for ⎕DR 645 and 645 :  [OK] 
 tcross1  for ⎕DR 645 and 1287 :  [OK] 
 tcross2  for ⎕DR 645 and 1287 :  [OK] 
 tcross3  for ⎕DR 645 and 1287 :  [OK] 
 tcross4  for ⎕DR 645 and 1287 :  [OK] 
 tcross1  for ⎕DR 645 and 1289 :  [OK] 
 tcross2  for ⎕DR 645 and 1289 :  [OK] 
 tcross3  for ⎕DR 645 and 1289 :  [OK] 
 tcross4  for ⎕DR 645 and 1289 :  [OK] 
 t1  for ⎕DR 645 :  [OK] 
 t2  for ⎕DR 645 :  [OK] 
 t3  for ⎕DR 645 :  [OK] 
 t4.1  for ⎕DR 645 :  [OK] 
 tcross1  for ⎕DR 1287 and 83 :  [OK] 
 tcross2  for ⎕DR 1287 and 83 :  [OK] 
 tcross3  for ⎕DR 1287 and 83 :  [OK] 
 tcross4  for ⎕DR 1287 and 83 :  [OK] 
 tcross1  for ⎕DR 1287 and 163 :  [OK] 
 tcross2  for ⎕DR 1287 and 163 :  [OK] 
 tcross3  for ⎕DR 1287 and 163 :  [OK] 
 tcross4  for ⎕DR 1287 and 163 :  [OK] 
 tcross1  for ⎕DR 1287 and 323 :  [OK] 
 tcross2  for ⎕DR 1287 and 323 :  [OK] 
 tcross3  for ⎕DR 1287 and 323 :  [OK] 
 tcross4  for ⎕DR 1287 and 323 :  [OK] 
 tcross1  for ⎕DR 1287 and 80 :  [OK] 
 tcross2  for ⎕DR 1287 and 80 :  [OK] 
 tcross3  for ⎕DR 1287 and 80 :  [OK] 
 tcross4  for ⎕DR 1287 and 80 :  [OK] 
 tcross1  for ⎕DR 1287 and 160 :  [OK] 
 tcross2  for ⎕DR 1287 and 160 :  [OK] 
 tcross3  for ⎕DR 1287 and 160 :  [OK] 
 tcross4  for ⎕DR 1287 and 160 :  [OK] 
 tcross1  for ⎕DR 1287 and 320 :  [OK] 
 tcross2  for ⎕DR 1287 and 320 :  [OK] 
 tcross3  for ⎕DR 1287 and 320 :  [OK] 
 tcross4  for ⎕DR 1287 and 320 :  [OK] 
 tcross1  for ⎕DR 1287 and 326 :  [OK] 
 tcross2  for ⎕DR 1287 and 326 :  [OK] 
 tcross3  for ⎕DR 1287 and 326 :  [OK] 
 tcross4  for ⎕DR 1287 and 326 :  [OK] 
 tcross1  for ⎕DR 1287 and 645 :  [OK] 
 tcross2  for ⎕DR 1287 and 645 :  [OK] 
 tcross3  for ⎕DR 1287 and 645 :  [OK] 
 tcross4  for ⎕DR 1287 and 645 :  [OK] 
 tcross0  for ⎕DR 1287 and 1287 :  [OK] 
 tcross1  for ⎕DR 1287 and 1289 :  [OK] 
 tcross2  for ⎕DR 1287 and 1289 :  [OK] 
 tcross3  for ⎕DR 1287 and 1289 :  [OK] 
 tcross4  for ⎕DR 1287 and 1289 :  [OK] 
 t1  for ⎕DR 1287 :  [OK] 
 t2  for ⎕DR 1287 :  [OK] 
 t3  for ⎕DR 1287 :  [OK] 
 t4.1  for ⎕DR 1287 :  [OK] 
 tcross1  for ⎕DR 1289 and 83 :  [OK] 
 tcross2  for ⎕DR 1289 and 83 :  [OK] 
 tcross3  for ⎕DR 1289 and 83 :  [OK] 
 tcross4  for ⎕DR 1289 and 83 :  [OK] 
 tcross1  for ⎕DR 1289 and 163 :  [OK] 
 tcross2  for ⎕DR 1289 and 163 :  [OK] 
 tcross3  for ⎕DR 1289 and 163 :  [OK] 
 tcross4  for ⎕DR 1289 and 163 :  [OK] 
 tcross1  for ⎕DR 1289 and 323 :  [OK] 
 tcross2  for ⎕DR 1289 and 323 :  [OK] 
 tcross3  for ⎕DR 1289 and 323 :  [OK] 
 tcross4  for ⎕DR 1289 and 323 :  [OK] 
 tcross1  for ⎕DR 1289 and 80 :  [OK] 
 tcross2  for ⎕DR 1289 and 80 :  [OK] 
 tcross3  for ⎕DR 1289 and 80 :  [OK] 
 tcross4  for ⎕DR 1289 and 80 :  [OK] 
 tcross1  for ⎕DR 1289 and 160 :  [OK] 
 tcross2  for ⎕DR 1289 and 160 :  [OK] 
 tcross3  for ⎕DR 1289 and 160 :  [OK] 
 tcross4  for ⎕DR 1289 and 160 :  [OK] 
 tcross1  for ⎕DR 1289 and 320 :  [OK] 
 tcross2  for ⎕DR 1289 and 320 :  [OK] 
 tcross3  for ⎕DR 1289 and 320 :  [OK] 
 tcross4  for ⎕DR 1289 and 320 :  [OK] 
 tcross1  for ⎕DR 1289 and 326 :  [OK] 
 tcross2  for ⎕DR 1289 and 326 :  [OK] 
 tcross3  for ⎕DR 1289 and 326 :  [OK] 
 tcross4  for ⎕DR 1289 and 326 :  [OK] 
 tcross1  for ⎕DR 1289 and 645 :  [OK] 
 tcross2  for ⎕DR 1289 and 645 :  [OK] 
 tcross3  for ⎕DR 1289 and 645 :  [OK] 
 tcross4  for ⎕DR 1289 and 645 :  [OK] 
 tcross1  for ⎕DR 1289 and 1287 :  [OK] 
 tcross2  for ⎕DR 1289 and 1287 :  [OK] 
 tcross3  for ⎕DR 1289 and 1287 :  [OK] 
 tcross4  for ⎕DR 1289 and 1287 :  [OK] 
 tcross0  for ⎕DR 1289 and 1289 :  [OK] 
 t1  for ⎕DR 1289 :  [OK] 
 t2  for ⎕DR 1289 :  [OK] 
 t3  for ⎕DR 1289 :  [OK] 
 t4.1  for ⎕DR 1289 :  [OK] 

Tests completed:  432 ran, 0 failed test, 432 successes in 553.868 s

EDIT: updated log for commit 0aa9776