ary_chk_slc_compatible_testSimple start time : 3Mar2024 19h00m20s +--+------------+-----------------------------------------------------+-------------------+ |OK|test# |dat0 |dat1 | +--+------------+-----------------------------------------------------+-------------------+ | o|null01_null | | | +--+------------+-----------------------------------------------------+-------------------+ | o|null01_atm | | 4| +--+------------+-----------------------------------------------------+-------------------+ | o|atm01_null |g | | +--+------------+-----------------------------------------------------+-------------------+ | o|atm01_atm |g |g | +--+------------+-----------------------------------------------------+-------------------+ | o|atm02_atm | 4| 4| +--+------------+-----------------------------------------------------+-------------------+ | o|lst01_null |the bigg fat cow | | +--+------------+-----------------------------------------------------+-------------------+ | o|lst01_atm |the bigg fat cow | | +--+------------+-----------------------------------------------------+-------------------+ | o|lst02_atm |0 1 2 3 4 5 6 7 8 9 |?slcTmp | +--+------------+-----------------------------------------------------+-------------------+ | o|lst01_idx |the bigg fat cow | 4| +--+------------+-----------------------------------------------------+-------------------+ | o|lst02_slc |0 1 2 3 4 5 6 7 8 9 |[6] | +--+------------+-----------------------------------------------------+-------------------+ | o|lst03_slc |4 5 6 |[1] | +--+------------+-----------------------------------------------------+-------------------+ | o|lst09_slc |0 1 2 3 4 5 6 7 8 9 |[] | +--+------------+-----------------------------------------------------+-------------------+ | o|lst10_slcL |0 1 2 3 4 5 6 7 8 9 |[4, 5] | +--+------------+-----------------------------------------------------+-------------------+ | l|lst11_slcL |0 1 2 3 4 5 6 7 8 9 |[15] | +--+------------+-----------------------------------------------------+-------------------+ | o|lstL01_slc |+-------------------+-------------------+-+-+ |[1] | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| | | | | |+-------------------+-------------------+-+-+ | | +--+------------+-----------------------------------------------------+-------------------+ | o|lstL01_slcL |+-------------------+-------------------+-+-+ |4 5 | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| | | | | |+-------------------+-------------------+-+-+ | | +--+------------+-----------------------------------------------------+-------------------+ | o|lstL02_slcL |+-------------------+-------------------+-+-+ |+---+---+ | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5| ||[1]|[5]| | | | |+-------------------+-------------------+-+-+ |+---+---+ | +--+------------+-----------------------------------------------------+-------------------+ | o|ary01_slcAtm| 0 1 2 3 4 | 2| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary01_slc | 0 1 2 3 4 |[2, 0] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary02_slc | 0 1 2 3 4 20 21 22 23 24 40 41 42 43 44 |[0, 2, 3, 0] | | | | 5 6 7 8 9 25 26 27 28 29 45 46 47 48 49 | | | | |10 11 12 13 14 30 31 32 33 34 50 51 52 53 54 | | | | |15 16 17 18 19 35 36 37 38 39 55 56 57 58 59 | | | | | | | | | |60 61 62 63 64 80 81 82 83 84 100 101 102 103 104| | | | |65 66 67 68 69 85 86 87 88 89 105 106 107 108 109| | | | |70 71 72 73 74 90 91 92 93 94 110 111 112 113 114| | | | |75 76 77 78 79 95 96 97 98 99 115 116 117 118 119| | +--+------------+-----------------------------------------------------+-------------------+ | o|ary09_slc | 0 1 2 3 4 |2 3 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | l|ary10_slc | 0 1 2 3 4 |[[], 3] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary11_slc | 0 1 2 3 4 |[1] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | l|ary12_slc | 0 1 2 3 4 |[1, 5] | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary01_slcL | 0 1 2 3 4 |+------+------+ | | | | 5 6 7 8 9 ||[1, 3]|[2, 3]| | | | |10 11 12 13 14 |+------+------+ | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary02_slcL | 0 1 2 3 4 |+-----+-----+ | | | | 5 6 7 8 9 ||+---+|+---+| | | | |10 11 12 13 14 |||1 3|||2 3|| | | | |15 16 17 18 19 ||+---+|+---+| | | | | |+-----+-----+ | +--+------------+-----------------------------------------------------+-------------------+ | o|ary03_slcL | 0 1 2 3 4 |+------+------+ | | | | 5 6 7 8 9 ||[2, 3]|[1, 2]| | | | |10 11 12 13 14 |+------+------+ | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary01_slcA |0 1 2 3 |0 | | | |4 5 6 7 | | | | |8 9 10 11 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary02_slcA | 0 1 2 3 4 |1 2 3 | | | | 5 6 7 8 9 |6 7 8 | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+------------+-----------------------------------------------------+-------------------+ | o|ary03_slcA | 0 1 2 3 4 |+-----+-----+-----+| | | | 5 6 7 8 9 ||+---+|+---+|+---+|| | | |10 11 12 13 14 |||1 1|||1 2|||1 3||| | | |15 16 17 18 19 ||+---+|+---+|+---+|| | | | |+-----+-----+-----+| | | | ||+---+|+---+|+---+|| | | | |||2 1|||2 2|||2 3||| | | | ||+---+|+---+|+---+|| | | | |+-----+-----+-----+| +--+------------+-----------------------------------------------------+-------------------+ | o|ary04_slcA | 0 1 2 3 4 |+---+---+---+ | | | | 5 6 7 8 9 ||1 1|1 2|1 3| | | | |10 11 12 13 14 |+---+---+---+ | | | |15 16 17 18 19 ||2 1|2 2|2 3| | | | | |+---+---+---+ | +--+------------+-----------------------------------------------------+-------------------+ +--+------------+---------------------------------+----------------------------+ |OK|test# |std |calc | +--+------------+---------------------------------+----------------------------+ | o|null01_null |?aryNoAdrIsNull ?slcAdrCompNull |?isAryIdxAblNul ?isSlcNull | +--+------------+---------------------------------+----------------------------+ | o|null01_atm |?aryNoAdrIsNull ?slcAdrCompNotStr|?isAryIdxAblNul ?isSlcNotStr| +--+------------+---------------------------------+----------------------------+ | o|atm01_null |?aryNoAdrValLT1 ?slcAdrCompNull |?isAryIdxAblAtm ?isSlcNull | +--+------------+---------------------------------+----------------------------+ | o|atm01_atm |?aryNoAdrValLT1 ?slcAdrCompNotStr|?isAryIdxAblAtm ?isSlcNotStr| +--+------------+---------------------------------+----------------------------+ | o|atm02_atm |?aryNoAdrValLT1 ?slcAdrCompNotStr|?isAryIdxAblAtm ?isSlcNotStr| +--+------------+---------------------------------+----------------------------+ | o|lst01_null |?slcAdrCompNull |?isSlcNull | +--+------------+---------------------------------+----------------------------+ | o|lst01_atm |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|lst02_atm |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|lst01_idx |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|lst02_slc | l| | +--+------------+---------------------------------+----------------------------+ | o|lst03_slc | l| | +--+------------+---------------------------------+----------------------------+ | o|lst09_slc |?slcAdrCompStrNull |?isSlcStrNull | +--+------------+---------------------------------+----------------------------+ | o|lst10_slcL |?aryValSlcShp |?aryVlcSlcShp | +--+------------+---------------------------------+----------------------------+ | l|lst11_slcL |?arySlcShp |?arySlcShp | +--+------------+---------------------------------+----------------------------+ | o|lstL01_slc | l| | +--+------------+---------------------------------+----------------------------+ | o|lstL01_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|lstL02_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary01_slcAtm|?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary01_slc | l| | +--+------------+---------------------------------+----------------------------+ | o|ary02_slc | l| | +--+------------+---------------------------------+----------------------------+ | o|ary09_slc |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | l|ary10_slc |?arySlcShp |?arySlcShp | +--+------------+---------------------------------+----------------------------+ | o|ary11_slc |?aryValSlcShp |?aryVlcSlcShp | +--+------------+---------------------------------+----------------------------+ | l|ary12_slc |?arySlcShp |?arySlcShp | +--+------------+---------------------------------+----------------------------+ | o|ary01_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary02_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary03_slcL |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary01_slcA |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary02_slcA |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary03_slcA |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ | o|ary04_slcA |?slcAdrCompNotStr |?isSlcNotStr | +--+------------+---------------------------------+----------------------------+ +--+------------+--------------------------------------------------------------------------------------------- |OK|test# |comments +--+------------+--------------------------------------------------------------------------------------------- | o|null01_null |should be ?aryNoAdrValLT1 - isNull ary +--+------------+--------------------------------------------------------------------------------------------- | o|null01_atm |should be ?aryNoAdrValLT1 - isNull ary, ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|atm01_null |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions! +--+------------+--------------------------------------------------------------------------------------------- | o|atm01_atm |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?slcAdrCompNotStr - (NOT +--+------------+--------------------------------------------------------------------------------------------- | o|atm02_atm |should be ?aryNoAdrValLT1 - isAtm ary, atoms don"t have positions!, ?slcAdrCompNotStr - (NOT +--+------------+--------------------------------------------------------------------------------------------- | o|lst01_null |should be ?slcAdrCompNull - (OR ((gage shape ary) EACHBOTH < maxIdxL) +--+------------+--------------------------------------------------------------------------------------------- | o|lst01_atm |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|lst02_atm |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|lst01_idx |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|lst02_slc |should be OK +--+------------+--------------------------------------------------------------------------------------------- | o|lst03_slc |should work OK +--+------------+--------------------------------------------------------------------------------------------- | o|lst09_slc |should be ?slcAdrCompStrNull - (OR ((gage shape ary) EACHBOTH < maxIdxL) +--+------------+--------------------------------------------------------------------------------------------- | o|lst10_slcL |should be ?aryValSlcShp - (~= (valence ary) (1 + sum (slc EACHLEFT = `,))) +--+------------+--------------------------------------------------------------------------------------------- | l|lst11_slcL |should be ?arySlcShp - (OR ((gage shape ary) EACHBOTH < maxIdxL) +--+------------+--------------------------------------------------------------------------------------------- | o|lstL01_slc |should be OK +--+------------+--------------------------------------------------------------------------------------------- | o|lstL01_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|lstL02_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary01_slcAtm|should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary01_slc |should be OK +--+------------+--------------------------------------------------------------------------------------------- | o|ary02_slc |should be OK +--+------------+--------------------------------------------------------------------------------------------- | o|ary09_slc |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | l|ary10_slc |just lucky - tests not good for this : should be ?arySlcShp - (OR ((gage shape ary) EACHBOT +--+------------+--------------------------------------------------------------------------------------------- | o|ary11_slc |should be ?aryValSlcShp - (~= (valence ary) (1 + sum (slc EACHLEFT = `,))) +--+------------+--------------------------------------------------------------------------------------------- | l|ary12_slc |bad ary_slc_compatible test : should be ?arySlcShp - (OR ((gage shape ary) EACHBOTH < maxId +--+------------+--------------------------------------------------------------------------------------------- | o|ary01_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary02_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary03_slcL |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary01_slcA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary02_slcA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary03_slcA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- | o|ary04_slcA |should be ?slcAdrCompNotStr - (NOT isSlcStr slc) +--+------------+--------------------------------------------------------------------------------------------- ~~...~~ --------------+ | --------------+ | --------------+ | --------------+ | --------------+ isSlcStr slc)| --------------+ isSlcStr slc)| --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ H < maxIdxL) | --------------+ | --------------+ xL) | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ | --------------+ ~~...~~