In reply to hisingh:
(seq1 within seq2) is equivalent to:
((1[*0:$] ##1 seq1 ##1 1[*0:$]) intersect seq2 )
What does the LRM say when should the Failure be reported ?
It does not say when, it is up to the tool.
In reply to hisingh:
(seq1 within seq2) is equivalent to:
((1[*0:$] ##1 seq1 ##1 1[*0:$]) intersect seq2 )
What does the LRM say when should the Failure be reported ?
It does not say when, it is up to the tool.