ary_sub_in_testStd start time : 16Mar2024 18h57m48s +--+--------------+---------------------------------------------+---------------------------------+ |OK|test# |dat0 |dat1 | +--+--------------+---------------------------------------------+---------------------------------+ | l|010_null_null | | | +--+--------------+---------------------------------------------+---------------------------------+ | l|020_null_int | | 4| +--+--------------+---------------------------------------------+---------------------------------+ | l|030_null_str | |the bigg fat cow | +--+--------------+---------------------------------------------+---------------------------------+ | l|040_chr_null |g | | +--+--------------+---------------------------------------------+---------------------------------+ | l|050_chr_chr |g |g | +--+--------------+---------------------------------------------+---------------------------------+ | l|060_int_int | 4| 4| +--+--------------+---------------------------------------------+---------------------------------+ | l|070_str_null |the bigg fat cow | | +--+--------------+---------------------------------------------+---------------------------------+ | l|080_str_chr |the bigg fat cow | | +--+--------------+---------------------------------------------+---------------------------------+ | l|090_intL_int |0 1 2 3 4 5 6 7 8 9 | 4| +--+--------------+---------------------------------------------+---------------------------------+ | l|100_str_str |the bigg fat cow |g | +--+--------------+---------------------------------------------+---------------------------------+ | l|110_str_str |the bigg fat cow | | +--+--------------+---------------------------------------------+---------------------------------+ | l|120_str_str |the bigg fat cow | b | +--+--------------+---------------------------------------------+---------------------------------+ | l|130_str_str |the bigg fat cow |g | +--+--------------+---------------------------------------------+---------------------------------+ | l|140_str_str |the bigg fat cow |bigg | +--+--------------+---------------------------------------------+---------------------------------+ | l|150_str_str |the bigg fat cowbig bigg |bigg | +--+--------------+---------------------------------------------+---------------------------------+ | l|160_str_str |what goes around comes around |around | +--+--------------+---------------------------------------------+---------------------------------+ | l|170_intL_intL |0 1 2 3 4 5 6 7 8 9 |4 5 | +--+--------------+---------------------------------------------+---------------------------------+ | l|180_str_str |[#=; backtrack ;=#] Mega-Life |[#=; backtrack ;=#] | +--+--------------+---------------------------------------------+---------------------------------+ | l|190_str_str |[#=; backtrack ;=#] |[#=; backtrack ;=#] Mega-Godzilla| +--+--------------+---------------------------------------------+---------------------------------+ | l|200_intLL_intL|+-------------------+-------------------+-+-+|4 5 | | | ||0 1 2 3 4 5 6 7 8 9|0 1 2 3 4 5 6 7 8 9|4|5|| | | | |+-------------------+-------------------+-+-+| | +--+--------------+---------------------------------------------+---------------------------------+ | l|210_str_strL |[#=; backtrack ;=#]Mega-Life |+-----+-----+ | | | | ||[#=; | ;=#]| | | | | |+-----+-----+ | +--+--------------+---------------------------------------------+---------------------------------+ | l|220_intL_intLL|0 1 2 3 4 5 6 7 8 9 |+-+-+ | | | | ||4|5| | | | | |+-+-+ | +--+--------------+---------------------------------------------+---------------------------------+ | l|230_intL_intL |0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 4 5 |4 5 | +--+--------------+---------------------------------------------+---------------------------------+ | l|240_intLA_int | 0 1 2 3 4 | 4| | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+--------------+---------------------------------------------+---------------------------------+ | l|250_intLA_intL| 0 1 2 3 4 |5 6 7 8 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+--------------+---------------------------------------------+---------------------------------+ | l|260_intLA_intL| 0 1 2 3 4 |4 5 | | | | 5 6 7 8 9 | | | | |10 11 12 13 14 | | | | |15 16 17 18 19 | | +--+--------------+---------------------------------------------+---------------------------------+ | l|270_intLA_intA| 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|010_null_null |?isLayAryNul ?isLayAryNul|?isLayAryNul ?isLayAryNul| +--+--------------+-------------------------+-------------------------+ | l|020_null_int |?isLayAryNul ?isLayAryAtm|?isLayAryNul ?isLayAryAtm| +--+--------------+-------------------------+-------------------------+ | l|030_null_str |?isLayAryNul |?isLayAryNul | +--+--------------+-------------------------+-------------------------+ | l|040_chr_null |?isLayAryAtm ?isLayAryNul|?isLayAryAtm ?isLayAryNul| +--+--------------+-------------------------+-------------------------+ | l|050_chr_chr |?isLayAryAtm ?isLayAryAtm|?isLayAryAtm ?isLayAryAtm| +--+--------------+-------------------------+-------------------------+ | l|060_int_int |?isLayAryAtm ?isLayAryAtm|?isLayAryAtm ?isLayAryAtm| +--+--------------+-------------------------+-------------------------+ | l|070_str_null |?isLayAryNul |?isLayAryNul | +--+--------------+-------------------------+-------------------------+ | l|080_str_chr |?isLayAryAtm |?isLayAryAtm | +--+--------------+-------------------------+-------------------------+ | l|090_intL_int |?isLayAryAtm |?isLayAryAtm | +--+--------------+-------------------------+-------------------------+ | l|100_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|110_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|120_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|130_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|140_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|150_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|160_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|170_intL_intL |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|180_str_str |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|190_str_str |?arySubShp |?arySubShp | +--+--------------+-------------------------+-------------------------+ | l|200_intLL_intL|?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|210_str_strL |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|220_intL_intLL|?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|230_intL_intL |?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ | l|240_intLA_int |?isLayAryAtm |?isLayAryAtm | +--+--------------+-------------------------+-------------------------+ | l|250_intLA_intL|?arySubVlc |?arySubVlc | +--+--------------+-------------------------+-------------------------+ | l|260_intLA_intL|?arySubVlc |?arySubVlc | +--+--------------+-------------------------+-------------------------+ | l|270_intLA_intA|?arySubInNot |?arySubInNot | +--+--------------+-------------------------+-------------------------+ +--+--------------+-----------------------------------------------------------------------+ |OK|test# |comments | +--+--------------+-----------------------------------------------------------------------+ | l|010_null_null |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|020_null_int |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|030_null_str |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|040_chr_null |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|050_chr_chr |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|060_int_int |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|070_str_null |not defined for is[null, atm]*[sub, ary] | +--+--------------+-----------------------------------------------------------------------+ | l|080_str_chr |fails - ~= valence [ary, sub], not defined for isAtm sub | +--+--------------+-----------------------------------------------------------------------+ | l|090_intL_int |fails - ~= valence [ary, sub], not defined for isAtm sub | +--+--------------+-----------------------------------------------------------------------+ | l|100_str_str |OK - from here, many faults come from a return of a fault, not a faultL| +--+--------------+-----------------------------------------------------------------------+ | l|110_str_str |comment? | +--+--------------+-----------------------------------------------------------------------+ | l|120_str_str |comment? | +--+--------------+-----------------------------------------------------------------------+ | l|130_str_str |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|140_str_str |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|150_str_str |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|160_str_str |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|170_intL_intL |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|180_str_str |OK - should work | +--+--------------+-----------------------------------------------------------------------+ | l|190_str_str |(OR ((gage shape sub) > (gage shape ary))) | +--+--------------+-----------------------------------------------------------------------+ | l|200_intLL_intL|OK - note doesn"t find sub in subAry of ary, only at top level | +--+--------------+-----------------------------------------------------------------------+ | l|210_str_strL |fails - not found because the ary is"t a list of such subs | +--+--------------+-----------------------------------------------------------------------+ | l|220_intL_intLL|fails - not found because the ary is NOT a list of solitary numbers | +--+--------------+-----------------------------------------------------------------------+ | l|230_intL_intL |the link produced a single list of numbers, with 3 fits | +--+--------------+-----------------------------------------------------------------------+ | l|240_intLA_int |fails - ~= valence [ary, sub] | +--+--------------+-----------------------------------------------------------------------+ | l|250_intLA_intL|fails - ~= valence [ary, sub] | +--+--------------+-----------------------------------------------------------------------+ | l|260_intLA_intL|won"t work : lst spans across axis, ~= valence [ary, sub] | +--+--------------+-----------------------------------------------------------------------+ | l|270_intLA_intA|OK - should work | +--+--------------+-----------------------------------------------------------------------+