extrapolate-0.4.2: generalize counter-examples of test properties

Copyright(c) 2017-2019 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <[email protected]>
Safe HaskellNone
LanguageHaskell2010

Test.Extrapolate.ConditionalGeneralization

Description

This module is part of Extrapolate, a library for generalization of counter-examples.

This defines utilities for conditional generalization.

You are probably better off importing Test.Extrapolate.

Documentation

conditionalCounterExampleGeneralizations :: Int -> [[Expr]] -> (Expr -> [Expr]) -> (Expr -> Expr -> Expr) -> Expr -> [Expr] Source #

validConditions :: (Thy, [Expr]) -> (Expr -> [Expr]) -> Expr -> [Expr] Source #

candidateConditions :: (Expr -> [Expr]) -> (Thy, [Expr]) -> Expr -> [Expr] Source #