ary_idxSeq_compatible_testSimple start time : 6Apr2023 14h43m05s +--+-----------+---------------------------------------------+---------------------------+ |OK|test# |dat0 |dat1 | +--+-----------+---------------------------------------------+---------------------------+ | l|null_null01| | | +--+-----------+---------------------------------------------+---------------------------+ | l|null_atm01 | |g | +--+-----------+---------------------------------------------+---------------------------+ | l|atm_null01 | 4| | +--+-----------+---------------------------------------------+---------------------------+ | l|atm_atm01 |g |g | +--+-----------+---------------------------------------------+---------------------------+ | l|lst_null01 |the bigg fat cow | | +--+-----------+---------------------------------------------+---------------------------+ | o|lst_int01 |the bigg fat cow | 4| +--+-----------+---------------------------------------------+---------------------------+ | o|lst_intL01 |0 1 2 3 4 5 6 7 8 9 |4 | +--+-----------+---------------------------------------------+---------------------------+ | o|lst_intL02 |0 1 2 3 4 5 6 7 8 9 |4 5 6 | +--+-----------+---------------------------------------------+---------------------------+ | o|lst_intL03 |+-------------------+-------------------+---+|0 2 | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4 5|| | | | |+-------------------+-------------------+---+| | +--+-----------+---------------------------------------------+---------------------------+ | o|lst_intL04 |+-------------------+-------------------+---+|0 5 | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4 5|| | | | |+-------------------+-------------------+---+| | +--+-----------+---------------------------------------------+---------------------------+ | o|lst_idxLL01|0 1 2 3 4 5 6 7 8 9 |+---+ | | | | ||4 5| | | | | |+---+ | +--+-----------+---------------------------------------------+---------------------------+ | o|ary_intL10 |0 1 2 |+---+ | | | |3 4 5 ||1 2| | | | | |+---+ | +--+-----------+---------------------------------------------+---------------------------+ | o|ary_intLL10|0 1 2 |+---+---+ | | | |3 4 5 ||1 2|0 1| | | | | |+---+---+ | +--+-----------+---------------------------------------------+---------------------------+ | o|ary_intLL11| 0 1 2 3 4 |+-+-+ | | | | 5 6 7 8 9 ||2|3| | | | |10 11 12 13 14 |+-+-+ | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------+ | o|ary_intLL12| 0 1 2 3 4 |?aryVlcIdxShp ?aryVlcIdxShp| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+-----------+---------------------------------------------+---------------------------+ +--+-----------+-----------------------------+-----------------------------+ |OK|test# |std |calc | +--+-----------+-----------------------------+-----------------------------+ | l|null_null01|?aryAdrCompNul ?idxAdrCompNul|?aryAdrCompNul ?idxAdrCompNul| +--+-----------+-----------------------------+-----------------------------+ | l|null_atm01 |?aryAdrCompNul ?idxNotIntL |?aryAdrCompNul ?idxNotIntL | +--+-----------+-----------------------------+-----------------------------+ | l|atm_null01 |?aryAdrCompAtm ?idxAdrCompNul|?aryAdrCompAtm ?idxAdrCompNul| +--+-----------+-----------------------------+-----------------------------+ | l|atm_atm01 |?aryAdrCompAtm ?idxNotIntL |?aryAdrCompAtm ?idxNotIntL | +--+-----------+-----------------------------+-----------------------------+ | l|lst_null01 |?idxAdrCompNul |?idxAdrCompNul | +--+-----------+-----------------------------+-----------------------------+ | o|lst_int01 | |++ | | | | ||| | | | | |++ | +--+-----------+-----------------------------+-----------------------------+ | o|lst_intL01 | |++ | | | | ||| | | | | |++ | +--+-----------+-----------------------------+-----------------------------+ | o|lst_intL02 | |++++ | | | | ||||| | | | | |++++ | +--+-----------+-----------------------------+-----------------------------+ | o|lst_intL03 |?aryIdxTooBig |+++ | | | | |||| | | | | |+++ | +--+-----------+-----------------------------+-----------------------------+ | o|lst_intL04 |?aryIdxTooBig |+++ | | | | |||| | | | | |+++ | +--+-----------+-----------------------------+-----------------------------+ | o|lst_idxLL01|?aryVlcIdxShp |++ | | | | ||| | | | | |++ | +--+-----------+-----------------------------+-----------------------------+ | o|ary_intL10 | |++ | | | | ||| | | | | |++ | +--+-----------+-----------------------------+-----------------------------+ | o|ary_intLL10| |+++ | | | | |||| | | | | |+++ | +--+-----------+-----------------------------+-----------------------------+ | o|ary_intLL11| |+++ | | | | |||| | | | | |+++ | +--+-----------+-----------------------------+-----------------------------+ | o|ary_intLL12|?aryVlcIdxShp ?aryVlcIdxShp |?idxNotIntL ?idxNotIntL | +--+-----------+-----------------------------+-----------------------------+ +--+-----------+----------------------------------------------------------------+ |OK|test# |comments | +--+-----------+----------------------------------------------------------------+ | l|null_null01|not defined for null = [itm, ary] | +--+-----------+----------------------------------------------------------------+ | l|null_atm01 |not defined for [null = itm, not isIntL ary] | +--+-----------+----------------------------------------------------------------+ | l|atm_null01 |not defined for null = itm | +--+-----------+----------------------------------------------------------------+ | l|atm_atm01 |not defined for [nonIntL indx, not isIntL ary] | +--+-----------+----------------------------------------------------------------+ | l|lst_null01 |not defined for null = itm | +--+-----------+----------------------------------------------------------------+ | o|lst_int01 |should be OK: null | +--+-----------+----------------------------------------------------------------+ | o|lst_intL01 |should be OK: null | +--+-----------+----------------------------------------------------------------+ | o|lst_intL02 |should be OK: null | +--+-----------+----------------------------------------------------------------+ | o|lst_intL03 |fault ?aryIdxTooBig: ~(OR ((gage shape ary) EACHBOTH < indx))| +--+-----------+----------------------------------------------------------------+ | o|lst_intL04 |fault ?aryIdxTooBig: ~(OR ((gage shape ary) EACHBOTH < indx))| +--+-----------+----------------------------------------------------------------+ | o|lst_idxLL01|fault ?aryVlcIdxShp: (~= (valence ary) (gage shape indx)) | +--+-----------+----------------------------------------------------------------+ | o|ary_intL10 |OK - should work | +--+-----------+----------------------------------------------------------------+ | o|ary_intLL10|OK - should work | +--+-----------+----------------------------------------------------------------+ | o|ary_intLL11|OK - should work | +--+-----------+----------------------------------------------------------------+ | o|ary_intLL12|faultL [?aryVlcIdxShp, ?aryVlcIdxShp] - should work | +--+-----------+----------------------------------------------------------------+