summaryrefslogtreecommitdiff
path: root/Logs
diff options
context:
space:
mode:
Diffstat (limited to 'Logs')
-rw-r--r--Logs/Trust.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/Logs/Trust.hs b/Logs/Trust.hs
index e5322e04e..8f568eba7 100644
--- a/Logs/Trust.hs
+++ b/Logs/Trust.hs
@@ -15,6 +15,8 @@ module Logs.Trust (
lookupTrust,
trustMapLoad,
trustMapRaw,
+
+ prop_parse_show_TrustLog,
) where
import qualified Data.Map as M
@@ -113,3 +115,8 @@ showTrustLog Trusted = "1"
showTrustLog UnTrusted = "0"
showTrustLog DeadTrusted = "X"
showTrustLog SemiTrusted = "?"
+
+prop_parse_show_TrustLog :: Bool
+prop_parse_show_TrustLog = all check [minBound .. maxBound]
+ where
+ check l = parseTrustLog (showTrustLog l) == l