root / test / hs / Test / Ganeti / Locking / Locks.hs @ e3b02e1f
History | View | Annotate | Download (1.3 kB)
1 |
{-# LANGUAGE TemplateHaskell #-} |
---|---|
2 |
{-# OPTIONS_GHC -fno-warn-orphans #-} |
3 |
|
4 |
{-| Tests for the lock data structure |
5 |
|
6 |
-} |
7 |
|
8 |
{- |
9 |
|
10 |
Copyright (C) 2014 Google Inc. |
11 |
|
12 |
This program is free software; you can redistribute it and/or modify |
13 |
it under the terms of the GNU General Public License as published by |
14 |
the Free Software Foundation; either version 2 of the License, or |
15 |
(at your option) any later version. |
16 |
|
17 |
This program is distributed in the hope that it will be useful, but |
18 |
WITHOUT ANY WARRANTY; without even the implied warranty of |
19 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
20 |
General Public License for more details. |
21 |
|
22 |
You should have received a copy of the GNU General Public License |
23 |
along with this program; if not, write to the Free Software |
24 |
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
25 |
02110-1301, USA. |
26 |
|
27 |
-} |
28 |
|
29 |
module Test.Ganeti.Locking.Locks (testLocking_Locks) where |
30 |
|
31 |
import Test.QuickCheck |
32 |
import Text.JSON |
33 |
|
34 |
import Test.Ganeti.TestHelper |
35 |
import Test.Ganeti.TestCommon |
36 |
|
37 |
import Ganeti.Locking.Locks |
38 |
|
39 |
instance Arbitrary GanetiLocks where |
40 |
arbitrary = elements [BGL] |
41 |
|
42 |
-- | Verify that readJSON . showJSON = Ok |
43 |
prop_ReadShow :: Property |
44 |
prop_ReadShow = forAll (arbitrary :: Gen GanetiLocks) $ \a -> |
45 |
readJSON (showJSON a) ==? Ok a |
46 |
|
47 |
|
48 |
testSuite "Locking/Locks" |
49 |
[ 'prop_ReadShow |
50 |
] |