Test00.hs

{-@ LIQUID "--expect-any-error" @-}
module Test00 () where

import Language.Haskell.Liquid.Prelude

x :: Int
x = choose 0

prop_abs = if x > 0 then baz x else False

baz :: Int -> Bool
baz z = liquidAssertB (z `geq` 100)