progs/tests/boolean_ops.sy


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

start :: fn {
    ts := 0
    t :: fn -> bool {
        ts += 1
        ret true
    }

    fs := 0
    f :: fn -> bool {
        fs += 1
        ret false
    }

    i :: fn -> bool {
        <!>
        ret false
    }

    if f() && i() {
        <!>
    }

    if t() || i() {
        // Empty
    } else {
        <!>
    }

    if f() && i() && i() {
        <!>
    }

    if t() || i() || i() {
        // Empty
    } else {
        <!>
    }

    fs <=> 2
    ts <=> 2
}


    // if t() || i() && f() {
    //     // Empty
    // } else {
    //     <!>
    // }

    // if f() && t() || i() {
    //     // Empty
    // } else {
    //     <!>
    // }