ary_chk_idx_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 |?faultTmp | +--+-----------+---------------------------------------------+-------------------+ | o|lst01_idx |the bigg fat cow |4 | +--+-----------+---------------------------------------------+-------------------+ | o|lst02_idx |0 1 2 3 4 5 6 7 8 9 |6 | +--+-----------+---------------------------------------------+-------------------+ | o|lst03_idx |4 5 6 |1 | +--+-----------+---------------------------------------------+-------------------+ | o|lst01_idxL |0 1 2 3 4 5 6 7 8 9 |4 | +--+-----------+---------------------------------------------+-------------------+ | o|lst02_idxL |0 1 2 3 4 5 6 7 8 9 |4 5 | +--+-----------+---------------------------------------------+-------------------+ | o|lstL01_idx |+-------------------+-------------------+-+-+|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_idxL|+-------------------+-------------------+-+-+|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_idxL|+-------------------+-------------------+-+-+|+-+-+ | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5|||4|5| | | | |+-------------------+-------------------+-+-+|+-+-+ | +--+-----------+---------------------------------------------+-------------------+ | o|ary01_idx | 0 1 2 3 4 |2 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+-------------------+ | o|ary05_idx | 0 1 2 3 4 |2 3 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+-------------------+ | o|ary06_idx | 0 1 2 3 4 |1 3 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+-------------------+ | o|ary07_idx | 0 1 2 3 4 |+---+ | | | | 5 6 7 8 9 ||1 3| | | | |10 11 12 13 14 |+---+ | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+-------------------+ | o|ary01_idxL | 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_idxL | 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_idxL | 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_idxA |0 1 2 3 |0 | | | |4 5 6 7 | | | | |8 9 10 11 | | +--+-----------+---------------------------------------------+-------------------+ | o|ary02_idxA | 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_idxA | 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_idxA | 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 ?idxNull |?isAryIdxAblNul ?isIdxNul | +--+-----------+--------------------------+--------------------------+ | o|null01_atm |?aryNoAdrIsNull ?idxValLT1|?isAryIdxAblNul ?isIdxNotL| +--+-----------+--------------------------+--------------------------+ | o|atm01_null |?aryNoAdrValLT1 ?idxNull |?isAryIdxAblAtm ?isIdxNul | +--+-----------+--------------------------+--------------------------+ | o|atm01_atm |?aryNoAdrValLT1 ?idxValLT1|?isAryIdxAblAtm ?isIdxNotL| +--+-----------+--------------------------+--------------------------+ | o|atm02_atm |?aryNoAdrValLT1 ?idxValLT1|?isAryIdxAblAtm ?isIdxNotL| +--+-----------+--------------------------+--------------------------+ | o|lst01_null |?idxNull |?isIdxNul | +--+-----------+--------------------------+--------------------------+ | o|lst01_atm |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ | o|lst02_atm |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ | o|lst01_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|lst02_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|lst03_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|lst01_idxL | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|lst02_idxL |?aryIdxVlc |?aryVlcIdxShp | +--+-----------+--------------------------+--------------------------+ | o|lstL01_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|lstL01_idxL|?aryIdxVlc |?aryVlcIdxShp | +--+-----------+--------------------------+--------------------------+ | o|lstL02_idxL|?idxNotIntL |?isIdxNotIntL | +--+-----------+--------------------------+--------------------------+ | o|ary01_idx |?aryIdxVlc |?aryVlcIdxShp | +--+-----------+--------------------------+--------------------------+ | o|ary05_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|ary06_idx | l|?not an operation | +--+-----------+--------------------------+--------------------------+ | o|ary07_idx |?idxNotIntL |?isIdxNotIntL | +--+-----------+--------------------------+--------------------------+ | o|ary01_idxL |?idxNotIntL |?isIdxNotIntL | +--+-----------+--------------------------+--------------------------+ | o|ary02_idxL |?idxNotIntL |?isIdxNotIntL | +--+-----------+--------------------------+--------------------------+ | o|ary03_idxL |?idxNotIntL |?isIdxNotIntL | +--+-----------+--------------------------+--------------------------+ | o|ary01_idxA |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ | o|ary02_idxA |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ | o|ary03_idxA |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ | o|ary04_idxA |?idxValLT1 |?isIdxNotL | +--+-----------+--------------------------+--------------------------+ +--+-----------+-------------------------------------------------------------------------------------+ |OK|test# |comments | +--+-----------+-------------------------------------------------------------------------------------+ | o|null01_null|should be ?aryNoAdrIsNull - (= null ary), nulls don"t have positions! | +--+-----------+-------------------------------------------------------------------------------------+ | o|null01_atm |should be ?aryNoAdrIsNull - (= null ary), nulls don"t have positions! | +--+-----------+-------------------------------------------------------------------------------------+ | o|atm01_null |should be ?aryNoAdrValLT1 ary ~=is[Atm, Solitary], ?idxNull | +--+-----------+-------------------------------------------------------------------------------------+ | o|atm01_atm |should be ?aryNoAdrValLT1 ary ~=is[Atm, Solitary], ?idxValLT1 (~= 1 (valence idx))| +--+-----------+-------------------------------------------------------------------------------------+ | o|atm02_atm |should be ?aryNoAdrValLT1 ary ~=is[Atm, Solitary], ?idxValLT1 (~= 1 (valence idx))| +--+-----------+-------------------------------------------------------------------------------------+ | o|lst01_null |should be ?idxNull (= null idx) | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst01_atm |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst02_atm |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst01_idx |should be OK, note isLst result, no space before isAtm idx | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst02_idx |should be OK, note isLst result, no space before isAtm idx | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst03_idx |should work OK, note isLst result, no space before isAtm idx | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst01_idxL |should be OK | +--+-----------+-------------------------------------------------------------------------------------+ | o|lst02_idxL |should be ?aryIdxVlc (~= aryVlc idxVlc) | +--+-----------+-------------------------------------------------------------------------------------+ | o|lstL01_idx |should be OK | +--+-----------+-------------------------------------------------------------------------------------+ | o|lstL01_idxL|should be ?aryIdxVlc (~= aryVlc idxVlc) | +--+-----------+-------------------------------------------------------------------------------------+ | o|lstL02_idxL|should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary01_idx |should be ?aryIdxVlc (~= aryVlc idxVlc) | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary05_idx |should work OK | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary06_idx |should work OK? nyet - idxA should NOT be split up? single idx only!! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary07_idx |should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary01_idxL |should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary02_idxL |should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary03_idxL |should be ?idxNotIntL - (NAND EACH isInteger idx), non-ints aren"t addresses! | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary01_idxA |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary02_idxA |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary03_idxA |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+ | o|ary04_idxA |should be ?idxValLT1 (~= 1 (valence idx)), idx MUST be a list | +--+-----------+-------------------------------------------------------------------------------------+