summaryrefslogtreecommitdiff
path: root/test/graph.et
blob: 38ec3c4066563160ccf34cd4c641033289c13397 (plain)
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
module graph

test StoredDifference:
    spawn as p1
    with p1:
        # ref names: r<level>_<num>

        send:
            "store rec"
            "num:i 1"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r1_1

        send:
            "store rec"
            "PREV:r $r1_1"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r2_1

        send "stored-difference $r2_1 |"
        expect /stored-difference-item $r1_1/
        expect /stored-difference-item $r2_1/
        local:
            expect /stored-difference-(.*)/ capture done
            guard (done == "done")

        send:
            "store rec"
            "PREV:r $r2_1"
            "num:i 1"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r3_1

        send "stored-difference $r1_1 | $r3_1"
        expect /stored-difference-item $r2_1/
        expect /stored-difference-item $r3_1/
        local:
            expect /stored-difference-(.*)/ capture done
            guard (done == "done")

        send:
            "store rec"
            "PREV:r $r2_1"
            "num:i 2"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r3_2

        send:
            "store rec"
            "PREV:r $r3_1"
            "num:i 1"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r4_1

        send:
            "store rec"
            "PREV:r $r3_2"
            "num:i 2"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r4_2

        send "stored-difference $r4_1 | $r4_2"
        expect /stored-difference-item $r3_1/
        expect /stored-difference-item $r3_2/
        expect /stored-difference-item $r4_1/
        expect /stored-difference-item $r4_2/
        local:
            expect /stored-difference-(.*)/ capture done
            guard (done == "done")


        send:
            "store rec"
            "PREV:r $r2_1"
            "num:i 3"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r3_3

        send:
            "store rec"
            "PREV:r $r3_2"
            "PREV:r $r3_3"
            "num:i 3"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r4_3

        send:
            "store rec"
            "PREV:r $r3_3"
            "num:i 4"
            ""
        expect /store-done (blake2#[0-9a-f]*)/ capture r4_4

        send "stored-difference $r4_1 $r4_2 | $r4_3 $r4_4"
        expect /stored-difference-item $r3_1/
        expect /stored-difference-item $r3_3/
        expect /stored-difference-item $r4_1/
        expect /stored-difference-item $r4_2/
        expect /stored-difference-item $r4_3/
        expect /stored-difference-item $r4_4/
        local:
            expect /stored-difference-(.*)/ capture done
            guard (done == "done")

        send "stored-difference $r1_1 $r2_1 $r3_2 $r3_3 | $r4_1 $r4_3"
        expect /stored-difference-item $r3_1/
        expect /stored-difference-item $r4_1/
        expect /stored-difference-item $r4_3/
        local:
            expect /stored-difference-(.*)/ capture done
            guard (done == "done")