sub_chk_idxA_to_slc_testSimple start time : 2Jul2022 17h17m21s +--+-----------+---------------------------------------------+---------+ |OK|test# |dat0 |dat1 | +--+-----------+---------------------------------------------+---------+ | l|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 |?idxNull | +--+-----------+---------------------------------------------+---------+ | 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|lst06_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|lstL01_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_idxL |0 1 2 3 |0 4 | | | |4 5 6 7 | | | | |8 9 10 11 | | +--+-----------+---------------------------------------------+---------+ | o|ary02_idxL | 0 1 2 3 4 |2 3 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------+ | o|ary03_idxL | 0 1 2 3 4 | 2| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------+ | o|ary04_idxL | 0 1 2 3 4 |4 5 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------+ | o|ary05_idxL |0 1 2 3 |0 4 | | | |4 5 6 7 | | | | |8 9 10 11 | | +--+-----------+---------------------------------------------+---------+ | o|ary06_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 | | +--+-----------+---------------------------------------------+---------+ +--+-----------+-------------------------------------------+-------------------+ |OK|test# |std |calc | +--+-----------+-------------------------------------------+-------------------+ | l|null01_null|?aryNull ?idxNull |?aryNull ?idxNull | +--+-----------+-------------------------------------------+-------------------+ | o|null01_atm |?idxNull |?aryNull ?idxSingl | +--+-----------+-------------------------------------------+-------------------+ | o|atm01_null |?aryNull ?idxNoInt |?arySingl ?idxNull | +--+-----------+-------------------------------------------+-------------------+ | o|atm01_atm |?ixca3 ?idxNoInt |?arySingl ?idxSingl| +--+-----------+-------------------------------------------+-------------------+ | o|atm02_atm |?idxNoInt |?arySingl ?idxSingl| +--+-----------+-------------------------------------------+-------------------+ | o|lst01_null |?aryNull |?idxNull | +--+-----------+-------------------------------------------+-------------------+ | o|lst01_atm |?ixca3 |?idxSingl | +--+-----------+-------------------------------------------+-------------------+ | o|lst02_atm |?ixca3 |?idxFault | +--+-----------+-------------------------------------------+-------------------+ | o|lst01_idx |o-----------------------------------------+|?idxSingl | | | ||4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19|| | | | |+-----------------------------------------+| | +--+-----------+-------------------------------------------+-------------------+ | o|lst02_idx |o-------------------------+ |?idxSingl | | | ||6 7 8 9 10 11 12 13 14 15| | | | | |+-------------------------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|lst03_idx |o-----+ |?idxSingl | | | ||1 2 3| | | | | |+-----+ | | +--+-----------+-------------------------------------------+-------------------+ | o|lst01_idxL |+-----------------------+ |?idxSolty | | | ||4 5 6 7 8 9 10 11 12 13| | | | | |+-----------------------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|lst06_idxL |?ixca7 |?aryVlcIdxShp | +--+-----------+-------------------------------------------+-------------------+ | o|lstL01_idx |o-------+ |?idxSingl | | | ||1 2 3 4| | | | | |+-------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|lstL01_idxL|?ixca7 |?aryVlcIdxShp | +--+-----------+-------------------------------------------+-------------------+ | o|lstL01_idxL|?ixca3 |?aryVlcIdxShp | +--+-----------+-------------------------------------------+-------------------+ | o|ary01_idxL |+-----+-------+ |?aryIdxShp | | | ||0 1 2|4 5 6 7| | | | | |+-----+-------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|ary02_idxL |+-------+---------+ |?not an operation | | | ||2 3 4 5|3 4 5 6 7| | | | | |+-------+---------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|ary03_idxL |?idxNull |?idxSingl | +--+-----------+-------------------------------------------+-------------------+ | o|ary04_idxL |+-------+---------+ |?aryIdxShp | | | ||4 5 6 7|5 6 7 8 9| | | | | |+-------+---------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|ary05_idxL |+-----+-------+ |?aryIdxShp | | | ||0 1 2|4 5 6 7| | | | | |+-----+-------+ | | +--+-----------+-------------------------------------------+-------------------+ | o|ary06_idxL |?ixca3 |?not an operation | +--+-----------+-------------------------------------------+-------------------+ | o|ary01_idxA |?aryAtm |?aryVlcIdxShp | +--+-----------+-------------------------------------------+-------------------+ | o|ary02_idxA |?aryAtm |?aryVlcIdxShp | +--+-----------+-------------------------------------------+-------------------+ +--+-----------+-----------------------------------------------+ |OK|test# |comments | +--+-----------+-----------------------------------------------+ | l|null01_null|error : not defined for isNull[idx, ary] | +--+-----------+-----------------------------------------------+ | o|null01_atm |error : not defined for isNull idx | +--+-----------+-----------------------------------------------+ | o|atm01_null |error : not defined for [isNull idx, isAtm ary]| +--+-----------+-----------------------------------------------+ | o|atm01_atm |not defined for [nonIntL idx, isAtm ary] | +--+-----------+-----------------------------------------------+ | o|atm02_atm |error : not defined for isAtm ary | +--+-----------+-----------------------------------------------+ | o|lst01_null |error : not defined for isNull idx | +--+-----------+-----------------------------------------------+ | o|lst01_atm |error : nonIntegerL idx | +--+-----------+-----------------------------------------------+ | o|lst02_atm |error : nonIntegerL idx | +--+-----------+-----------------------------------------------+ | o|lst01_idx |should be OK | +--+-----------+-----------------------------------------------+ | o|lst02_idx |should be OK | +--+-----------+-----------------------------------------------+ | o|lst03_idx |should work OK | +--+-----------+-----------------------------------------------+ | o|lst01_idxL |should work OK | +--+-----------+-----------------------------------------------+ | o|lst06_idxL |error : (~= (valence ary) (gage shape idx))| +--+-----------+-----------------------------------------------+ | o|lstL01_idx |should be OK | +--+-----------+-----------------------------------------------+ | o|lstL01_idxL|error : (~= (valence ary) (gage shape idx))| +--+-----------+-----------------------------------------------+ | o|lstL01_idxL|error : not defined for nonIntL idx | +--+-----------+-----------------------------------------------+ | o|ary01_idxL |error : not defined for nonIntL idx | +--+-----------+-----------------------------------------------+ | o|ary02_idxL |should work OK | +--+-----------+-----------------------------------------------+ | o|ary03_idxL |error : (~= (valence ary) (gage shape idx))| +--+-----------+-----------------------------------------------+ | o|ary04_idxL |should work OK | +--+-----------+-----------------------------------------------+ | o|ary05_idxL |should work OK | +--+-----------+-----------------------------------------------+ | o|ary06_idxL |error : idx must be an intL, not intLL | +--+-----------+-----------------------------------------------+ | o|ary01_idxA |error : not is[Atm,Lst] idx | +--+-----------+-----------------------------------------------+ | o|ary02_idxA |error : not is[Atm,Lst] idx | +--+-----------+-----------------------------------------------+