urbit-hob

commit a56281d05effa1124256b48e8fa9bc231a9af7f8
parent 8e6988762e1bd59ba77eb6e778b2517588b7c425
Author: Jared Tobin <jared@jtobin.io>
Date:   Tue, 10 Sep 2019 14:12:49 -0230

tests: add basic 'co' test suite

Diffstat:
A
test/Co.hs
 | 
14
++++++++++++++
M
urbit-hob.cabal
 | 
14
++++++++++++++

2 files changed, 28 insertions(+), 0 deletions(-)
diff --git a/test/Co.hs b/test/Co.hs
@@ -0,0 +1,14 @@
+module Main where
+
+import Test.Hspec
+import Test.Hspec.Core.QuickCheck (modifyMaxSuccess)
+import Test.QuickCheck
+import qualified Urbit.Ob.Co as Co
+
+main :: IO ()
+main = hspec $
+  describe "fromPatp" $
+    modifyMaxSuccess (const 1000) $
+      it "inverts patp" $
+        property $ \(NonNegative x) -> Co.fromPatp (Co.patp x) == x
+
diff --git a/urbit-hob.cabal b/urbit-hob.cabal
@@ -82,3 +82,17 @@ Test-suite ob
     , QuickCheck
     , urbit-hob
 
+Test-suite co
+  type:                exitcode-stdio-1.0
+  hs-source-dirs:      test
+  main-is:             Co.hs
+  default-language:    Haskell2010
+  ghc-options:
+    -rtsopts
+  build-depends:
+      base
+    , hspec
+    , hspec-core
+    , QuickCheck
+    , urbit-hob
+