drivers=_overlap|_no_overlap

--  Consolidate results for tests involving valid ranges only.
--  Exempted precondition evaluated True only. raise not covered.

--# ranges.adb
--  /checkValid/     l! ## dT-
--  /assignValid/    l+ ## 0
--  /assignInvalid/  l- ## s-
--  /preValid/       l* ## x+
--  /preValid_if/    l= ## XoT-
--  /preValid_raise/ l= ## Xs-
--  /checkOverlap/   l+ ## 0
--  /overlapTrue/    l+ ## 0
--  /overlapFalse/   l+ ## 0
