drivers=test_expr_(ft|0)

-- Select two drivers to run over two traces, arranging
-- to leave violations around.

--# expr.adb
--  /evalOr/   s=>l+, dum=>l! ## s=>0, dum=>dF-
--  /latchOr/  l+ ## 0
--  /evalAnd/  s=>l+, dum=>l! ## s=>0, dum=>dT-
--  /latchAnd/ l- ## s-
