liquidhaskell-0.4.0.0: tests/neg/test00a.hs

module Test0 () where

import Language.Haskell.Liquid.Prelude

x = choose 0

prop_abs = if x > 0 then baz x else False

baz z = liquidAssertB (z >= 10)