Safe Haskell | None |
---|
The testing loop and term generation of QuickSpec.
Documentation
test :: [(Valuation, StdGen, Int)] -> Sig -> TypeMap (List `O` Expr) -> TypeMap (TestResults `O` Expr)Source
test' :: forall a. Typeable a => [(Valuation, StdGen, Int)] -> Sig -> [Expr a] -> TestResults (Expr a)Source
eraseClasses :: TypeMap (TestResults `O` Expr) -> [[Tagged Term]]Source