Revision 742bd043 htest/Test/Ganeti/HTools/Graph.hs
| b/htest/Test/Ganeti/HTools/Graph.hs | ||
|---|---|---|
| 100 | 100 |
prop_colorLFClique :: TestableClique -> Property |
| 101 | 101 |
prop_colorLFClique = prop_colorClique colorLF |
| 102 | 102 |
|
| 103 |
-- | Specific check for the Dsatur algorithm. |
|
| 104 |
prop_colorDsaturClique :: TestableClique -> Property |
|
| 105 |
prop_colorDsaturClique = prop_colorClique colorDsatur |
|
| 106 |
|
|
| 103 | 107 |
-- Check that all nodes are colored. |
| 104 | 108 |
prop_colorAllNodes :: (Graph.Graph -> ColorVertMap) |
| 105 | 109 |
-> TestableGraph |
| ... | ... | |
| 112 | 116 |
prop_colorLFAllNodes :: TestableGraph -> Property |
| 113 | 117 |
prop_colorLFAllNodes = prop_colorAllNodes colorLF |
| 114 | 118 |
|
| 119 |
-- | Specific check for the Dsatur algorithm. |
|
| 120 |
prop_colorDsaturAllNodes :: TestableGraph -> Property |
|
| 121 |
prop_colorDsaturAllNodes = prop_colorAllNodes colorDsatur |
|
| 122 |
|
|
| 115 | 123 |
-- | List of tests for the Graph module. |
| 116 | 124 |
testSuite "HTools/Graph" |
| 117 | 125 |
[ 'case_emptyVertColorMapNull |
| 118 | 126 |
, 'case_emptyVertColorMapEmpty |
| 119 | 127 |
, 'prop_colorLFClique |
| 128 |
, 'prop_colorDsaturClique |
|
| 120 | 129 |
, 'prop_colorLFAllNodes |
| 130 |
, 'prop_colorDsaturAllNodes |
|
| 121 | 131 |
] |
Also available in: Unified diff