blob: c0e9c1782a012c2d230bf261e24094c72e125530 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
open Rnt
module Hash = Concepts.Hash
module Initialization = Rnt.Kernel.Initialization
module Memory_storage = struct
type connection = (Hash.hash, Concepts.Representation.blob) Hashtbl.t
type transaction = connection
let connect _ = Ok (Hashtbl.create 16)
let start conn = Ok conn
let commit _ = Ok ()
let abort _ = Ok ()
let get tx address = Ok (Hashtbl.find_opt tx address)
let put tx address blob = Hashtbl.replace tx address blob; Ok ()
end
module Store_initialization = Initialization.Make (Memory_storage)
let fail_condition c = Alcotest.fail (Concepts.Condition.to_string_hum c)
let hash text = Hash.hash_of_bytes (Bytes.of_string text)
let check_hash label expected actual =
Alcotest.(check bool) label true (Hash.hash_equals expected actual)
let test_initialization_round_trips () =
let expected =
Initialization.make ~default_branch:"master" ~branches:(hash "branch-index")
in
match Initialization.(expected |> to_bytes |> of_bytes) with
| Ok actual ->
Alcotest.(check string)
"default branch"
(Initialization.default_branch expected)
(Initialization.default_branch actual);
check_hash "branches" (Initialization.branches expected) (Initialization.branches actual)
| Error c -> fail_condition c
let test_registers_under_fixed_label () =
let tx = Hashtbl.create 16 in
let expected =
Initialization.make ~default_branch:"master" ~branches:(hash "branch-index")
in
let before, registered, after =
begin
let open Utilities.Result in
let* before = Store_initialization.load tx in
let* registered = Store_initialization.register tx expected in
let* after = Store_initialization.load tx in
Ok (before, registered, after)
end
|> Helpers.condition_as_failure
in
Alcotest.(check (option bool))
"missing before registration" None (Option.map (Fun.const true) before);
check_hash "registered address" (Initialization.address expected) registered;
Alcotest.(check bool)
"fixed label exists" true
(Hashtbl.mem tx Initialization.fixed_label_address);
match after with
| Some actual -> Alcotest.(check bool) "loaded object" true (Initialization.equal expected actual)
| None -> Alcotest.fail "expected initialization object after registration"
let suites () =
[ ( "kernel/initialization",
[ Alcotest.test_case "initialization round-trips" `Quick
test_initialization_round_trips;
Alcotest.test_case "registers under fixed label" `Quick
test_registers_under_fixed_label ] ) ]
|
