broke out Verifiable to a utility library, and added a quickcheck test

1 files changed, 2 insertions, 0 deletions

diff --git a/test.hs b/test.hs
index 7e1915067..c27fa8a7b 100644
--- a/test.hs
+++ b/test.hs
@@ -47,6 +47,7 @@ import qualified Utility.FileMode
 import qualified Utility.Gpg
 import qualified Build.SysConfig
 import qualified Utility.Format
+import qualified Utility.Verifiable
 
 -- for quickcheck
 instance Arbitrary Types.Key.Key where
@@ -89,6 +90,7 @@ quickcheck = TestLabel "quickcheck" $ TestList
 	, qctest "prop_hmacWithCipher_sane" Crypto.prop_hmacWithCipher_sane
 	, qctest "prop_TimeStamp_sane" Logs.UUIDBased.prop_TimeStamp_sane
 	, qctest "prop_addLog_sane" Logs.UUIDBased.prop_addLog_sane
+	, qctest "prop_verifiable_sane" Utility.Verifiable.prop_verifiable_sane
 	]
 
 blackbox :: Test