Revision efe98965 htools/Ganeti/HTools/QC.hs
| b/htools/Ganeti/HTools/QC.hs | ||
|---|---|---|
| 992 | 992 |
in (sum . map (length . Node.pList)) nodes == 0 && |
| 993 | 993 |
null instances |
| 994 | 994 |
|
| 995 |
-- | Check that compareNameComponent on equal strings works. |
|
| 996 |
prop_Loader_compareNameComponent_equal :: String -> Bool |
|
| 997 |
prop_Loader_compareNameComponent_equal s = |
|
| 998 |
Loader.compareNameComponent s s == |
|
| 999 |
Loader.LookupResult Loader.ExactMatch s |
|
| 1000 |
|
|
| 1001 |
-- | Check that compareNameComponent on prefix strings works. |
|
| 1002 |
prop_Loader_compareNameComponent_prefix :: NonEmptyList Char -> String -> Bool |
|
| 1003 |
prop_Loader_compareNameComponent_prefix (NonEmpty s1) s2 = |
|
| 1004 |
Loader.compareNameComponent (s1 ++ "." ++ s2) s1 == |
|
| 1005 |
Loader.LookupResult Loader.PartialMatch s1 |
|
| 1006 |
|
|
| 995 | 1007 |
testLoader = |
| 996 | 1008 |
[ run prop_Loader_lookupNode |
| 997 | 1009 |
, run prop_Loader_lookupInstance |
| 998 | 1010 |
, run prop_Loader_assignIndices |
| 999 | 1011 |
, run prop_Loader_mergeData |
| 1012 |
, run prop_Loader_compareNameComponent_equal |
|
| 1013 |
, run prop_Loader_compareNameComponent_prefix |
|
| 1000 | 1014 |
] |
| 1001 | 1015 |
|
| 1002 | 1016 |
-- ** Types tests |
Also available in: Unified diff