]>
Commit | Line | Data |
---|---|---|
b1f77d7e JT |
1 | {-# LANGUAGE OverloadedStrings #-} |
2 | {-| | |
3 | Copyright : (c) 2015 Julien Tanguy | |
4 | License : BSD3 | |
5 | ||
6 | Maintainer : julien.tanguy@jhome.fr | |
7 | ||
8 | ||
9 | This test suite is based on the pymacaroons test suite: | |
10 | <https://github.com/ecordell/pymacaroons> | |
11 | -} | |
12 | module Crypto.Macaroon.Serializer.Base64.Tests where | |
13 | ||
14 | ||
15 | import qualified Data.ByteString.Char8 as B8 | |
16 | import Test.Tasty | |
17 | import Test.Tasty.HUnit | |
a22bcdb6 | 18 | import Test.Tasty.QuickCheck |
b1f77d7e JT |
19 | |
20 | import Crypto.Macaroon | |
21 | import Crypto.Macaroon.Serializer.Base64 | |
22 | ||
a22bcdb6 JT |
23 | import Crypto.Macaroon.Instances |
24 | ||
b1f77d7e JT |
25 | tests :: TestTree |
26 | tests = testGroup "Crypto.Macaroon.Serializer.Base64" [ basic | |
27 | , minted | |
28 | , minted2 | |
29 | -- , minted3 | |
30 | ] | |
31 | ||
a22bcdb6 | 32 | basicQC = testProperty "Reversibility" $ |
5d1b7d51 | 33 | \sm -> deserialize (serialize (macaroon sm)) == Right (macaroon sm) |
b1f77d7e JT |
34 | |
35 | m :: Macaroon | |
36 | m = create secret key loc | |
37 | where | |
38 | secret = B8.pack "this is our super secret key; only we should know it" | |
39 | key = B8.pack "we used our secret key" | |
40 | loc = B8.pack "http://mybank/" | |
41 | ||
42 | basic :: TestTree | |
43 | basic = testGroup "Basic macaroon" [ basicSerialize | |
44 | , basicDeserialize | |
5297366a | 45 | , basicQC |
b1f77d7e JT |
46 | ] |
47 | ||
48 | basicSerialize = testCase "Serialization" $ | |
49 | "MDAxY2xvY2F0aW9uIGh0dHA6Ly9teWJhbmsvCjAwMjZpZGVudG\ | |
50 | \lmaWVyIHdlIHVzZWQgb3VyIHNlY3JldCBrZXkKMDAyZnNpZ25h\ | |
51 | \dHVyZSDj2eApCFJsTAA5rhURQRXZf91ovyujebNCqvD2F9BVLwo" @=? serialize m | |
52 | ||
53 | basicDeserialize = testCase "Deserialization" $ | |
54 | Right m @=? (deserialize . serialize) m | |
55 | ||
56 | m2 :: Macaroon | |
57 | m2 = addFirstPartyCaveat "test = caveat" m | |
58 | ||
59 | minted :: TestTree | |
60 | minted = testGroup "Macaroon with first party caveat" [ mintSerialize | |
61 | , mintDeserialize | |
62 | ] | |
63 | ||
64 | ||
65 | mintSerialize = testCase "Serialization" $ | |
66 | "MDAxY2xvY2F0aW9uIGh0dHA6Ly9teWJhbmsvCjAwMjZpZGVudGlmaWVyIHdlIHVzZ\ | |
67 | \WQgb3VyIHNlY3JldCBrZXkKMDAxNmNpZCB0ZXN0ID0gY2F2ZWF0CjAwMmZzaWduYXR1cmUgGXusegR\ | |
68 | \K8zMyhluSZuJtSTvdZopmDkTYjOGpmMI9vWcK" @=? serialize m2 | |
69 | ||
70 | mintDeserialize = testCase "Deserialization" $ | |
71 | Right m2 @=? (deserialize . serialize) m2 | |
72 | ||
73 | ||
74 | m3 :: Macaroon | |
75 | m3 = addFirstPartyCaveat "test = acaveat" m | |
76 | ||
77 | minted2 :: TestTree | |
78 | minted2 = testGroup "Macaroon with first party caveats" [ mint2Trimmed | |
79 | , mint2Des | |
80 | ] | |
81 | ||
82 | mint2Trimmed = testCase "Serialization" $ | |
83 | "MDAxY2xvY2F0aW9uIGh0dHA6Ly9teWJhbmsvCjAwMjZpZGVudGlmaWVyIHdlIHVz\ | |
84 | \ZWQgb3VyIHNlY3JldCBrZXkKMDAxN2NpZCB0ZXN0ID0gYWNhdmVhdAowMDJmc2ln\ | |
85 | \bmF0dXJlIJRJ_V3WNJQnqlVq5eez7spnltwU_AXs8NIRY739sHooCg" @=? serialize m3 | |
86 | ||
87 | mint2Des = testCase "Deserialization" $ | |
88 | Right m3 @=? (deserialize . serialize) m3 | |
89 |