32 lines
592 B
Plaintext
32 lines
592 B
Plaintext
aa = true & false
|
|
a = if aa {
|
|
1
|
|
} else {
|
|
2
|
|
}
|
|
assert(a, isEqualTo = 2, error = "right branch of and is false makes the whole expression false")
|
|
|
|
bb = false & true
|
|
b = if bb {
|
|
1
|
|
} else {
|
|
2
|
|
}
|
|
assert(b, isEqualTo = 2, error = "left branch of and is false makes the whole expression false")
|
|
|
|
cc = true & true
|
|
c = if cc {
|
|
1
|
|
} else {
|
|
2
|
|
}
|
|
assert(c, isEqualTo = 1, error = "both branches of and are true makes the whole expression true")
|
|
|
|
dd = false & false
|
|
d = if dd {
|
|
1
|
|
} else {
|
|
2
|
|
}
|
|
assert(d, isEqualTo = 2, error = "both branches of and are false makes the whole expression false")
|