Folly 0.1.4.4 → 0.1.4.6

raw patch · 2 files changed

+15/−3 lines, 2 files

Files

• Folly.cabal +3/−3
• test/Folly/TestUtils.hs +12/−0

@@ -2,7 +2,7 @@ --  see http://haskell.org/cabal/users-guide/  name:                Folly-version:             0.1.4.4+version:             0.1.4.6 synopsis:            A first order logic library in Haskell description:         An implementation of first order logic in Haskell that 		     includes a library of modules for incorporating first@@ -15,7 +15,7 @@ maintainer:          Dillon Huff homepage:	     https://github.com/dillonhuff/Folly -- copyright:           --- category:            +category:            Theorem proving build-type:          Simple cabal-version:       >=1.8 @@ -32,6 +32,6 @@  executable Folly-tests   main-is:             Main.hs-  other-modules:       Folly.FormulaTests, Folly.LexerTests, Folly.ParserTests, Folly.ResolutionTests, Folly.UnificationTests+  other-modules:       Folly.FormulaTests, Folly.LexerTests, Folly.ParserTests, Folly.ResolutionTests, Folly.UnificationTests, Folly.TestUtils   build-depends:       base < 6, HUnit, containers, parsec   hs-source-dirs:      test, src

@@ -0,0 +1,12 @@+module Folly.TestUtils(testFunction) where++import Test.HUnit+++testFunction func cases = runTestTT $ makeTestCases func cases++makeTestCases func cases =+  TestList $ map (\(input, expected) -> testCase func input expected) cases++testCase func input expected =+  TestCase (assertEqual ("Input: " ++ show input) expected (func input))