module TimerTest where
import Test.QuickCheck