Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
Documentation
blackBoxTests :: DomainReasoner -> String -> IO TestSuiteSource
Portability | portable (depends on ghc) |
---|---|
Stability | provisional |
Maintainer | bastiaan.heeren@ou.nl |
Safe Haskell | None |
blackBoxTests :: DomainReasoner -> String -> IO TestSuiteSource