module Main where

import Graphics.Vty.Picture

import Verify

main = run_test $ do
    return ()