Synnefo » snf-ganeti

-- | Verify the result list of the opportunistic union: if a lock is not in

-- the result that, than its state has not changed, and if it is, it is as

-- requested. The latter property is tested in that liberal way, so that we

-- really can take arbitrary requests, including those that require both, shared

-- and exlusive state for the same lock.

prop_OpportunisticAnswer :: Property

prop_OpportunisticAnswer =

  forAll (arbitrary :: Gen (LockAllocation TestLock TestOwner)) $ \state ->

  forAll (arbitrary :: Gen TestOwner) $ \a ->

  forAll ((choose (1,3) >>= vector) :: Gen [(TestLock, OwnerState)]) $ \req ->

  let (state', result) = opportunisticLockUnion a req state

      oldOwned = listLocks a state

      newOwned = listLocks a state'

      involvedLocks = M.keys oldOwned ++ map fst req

  in conjoin [ printTestCase ("Locks not in the answer set " ++ show result

                                ++ " may not be changed, but found "

                                ++ show state')

               . flip all involvedLocks $ \lock ->

                 (lock `S.member` result)

                 || (M.lookup lock oldOwned == M.lookup lock newOwned)

             , printTestCase ("Locks not in the answer set " ++ show result

                               ++ " must be as requested, but found "

                               ++ show state')

               . flip all involvedLocks $ \lock ->

                 (lock `S.notMember` result)

                 || maybe False (flip elem req . (,) lock)

                      (M.lookup lock newOwned)

             ]

 , 'prop_OpportunisticAnswer