doctest-0.25.0.2: test/integration/property-failing/Foo.hs

module Foo where

-- |
-- prop> abs x == x
foo = undefined