liquidhaskell-0.9.0.2.1: tests/pos/String00.hs

module String00 () where

import Language.Haskell.Liquid.Prelude

foo = "dog"

prop1 = liquidAssertB (0 == 0)
prop2 = liquidAssertB (1 /= 0)