what4-1.8: src/Test/Verification.hs

module Test.Verification {-# DEPRECATED "Use What4.Domains.Verification instead" #-}
  ( module What4.Domains.Verification
  ) where

import What4.Domains.Verification