Portability | portable |
---|---|
Stability | experimental |
Maintainer | mik@konecny.aow.cz |
Support for running all function enclosure base tests in a batch.
Documentation
runUFBTests :: (ERUnitFnBaseElementary boxb boxra varid b ra fb, ERUnitFnBaseIElementary boxb boxra varid b ra fb, ERInnerOuterApprox ra, Ord ra, Show fb, Show boxra, Show varid) => String -> fb -> IO () -> IO ()Source