Safe Haskell | None |
---|
Test.Ganeti.Locking.Locks
Contents
Description
Tests for the lock data structure
Synopsis
- prop_ReadShow :: Property
- prop_ImpliedOrder :: Property
- prop_ImpliedIntervall :: Property
- prop_ReadShowLevel :: Property
- prop_ReadShow_ClientType :: Property
- prop_ReadShow_ClientId :: Property
- testLocking_Locks :: Test
Documentation
prop_ReadShow :: Property Source #
Verify that readJSON . showJSON = Ok
prop_ImpliedOrder :: Property Source #
Verify the implied locks are earlier in the lock order.
prop_ImpliedIntervall :: Property Source #
Verify the intervall property of the locks.
prop_ReadShowLevel :: Property Source #
Verify that readJSON . showJSON = Ok for lock levels
prop_ReadShow_ClientType :: Property Source #
Verify that readJSON . showJSON = Ok for ClientType
prop_ReadShow_ClientId :: Property Source #
Verify that readJSON . showJSON = Ok for ClientId
testLocking_Locks :: Test Source #
Orphan instances
Arbitrary CPid # | |
Arbitrary ClientId # | |
Arbitrary ClientType # | |
Arbitrary LockLevel # | |
Arbitrary GanetiLocks # | |