module Main where

import Verify.Graphics.Vty.DisplayAttributes
import Verify.Graphics.Vty.Attributes

import Verify

main = run_test $ do
    return ()