Revision d6f05205 test/hs/Test/Ganeti/Rpc.hs
b/test/hs/Test/Ganeti/Rpc.hs | ||
---|---|---|
47 | 47 |
instance Arbitrary Rpc.RpcCallInstanceConsoleInfo where |
48 | 48 |
arbitrary = Rpc.RpcCallInstanceConsoleInfo <$> genConsoleInfoCallParams |
49 | 49 |
|
50 |
instance Arbitrary Rpc.Compressed where |
|
51 |
arbitrary = Rpc.toCompressed <$> arbitrary |
|
52 |
|
|
50 | 53 |
genStorageUnit :: Gen StorageUnit |
51 | 54 |
genStorageUnit = do |
52 | 55 |
storage_type <- arbitrary |
... | ... | |
124 | 127 |
prop_noffl_request_nodeinfo :: Rpc.RpcCallNodeInfo -> Property |
125 | 128 |
prop_noffl_request_nodeinfo = runOfflineTest |
126 | 129 |
|
130 |
-- | Test that the serialisation of 'Compressed' is idempotent. |
|
131 |
prop_Compressed_serialisation :: Rpc.Compressed -> Property |
|
132 |
prop_Compressed_serialisation = testSerialisation |
|
133 |
|
|
127 | 134 |
testSuite "Rpc" |
128 | 135 |
[ 'prop_noffl_request_allinstinfo |
129 | 136 |
, 'prop_noffl_request_instconsinfo |
130 | 137 |
, 'prop_noffl_request_instlist |
131 | 138 |
, 'prop_noffl_request_nodeinfo |
139 |
, 'prop_Compressed_serialisation |
|
132 | 140 |
] |
Also available in: Unified diff