extrapolate-0.3.1: generalize counter-examples of test properties

Index - W

weakestConditionTest.Extrapolate.Core, Test.Extrapolate.Basic
WithTest.Extrapolate.Core, Test.Extrapolate.Basic
withBackgroundTest.Extrapolate.IO, Test.Extrapolate
withConditionSizeTest.Extrapolate.IO, Test.Extrapolate
withInstancesTest.Extrapolate.IO
WithOptionTest.Extrapolate.Core, Test.Extrapolate.Basic
witnessTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
witnessesTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate