drivers=_overlap|_no_overlap|invalid_b

--  Consolidate results for tests involving valid and an invalid range B.
--  Exempted precondition evaluated both True and False, but independant
--  effect of check on Ra not demonstrated.

--# ranges.adb
--  /checkValid/    l+ ## 0
--  /assignValid/   l+ ## 0
--  /assignInvalid/ l+ ## 0
--  /preValid/      l* ## x+
--  /preValid_cond/ l= ## Xc!
--  /checkOverlap/  l+ ## 0
