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
|
(* TEST
include testing;
*)
let sequor b1 b2 =
let b1 = ref b1 in
let b2 = ref b2 in
let b1 = !b1 in
let b2 = !b2 in
if (if b1 then true else b2 && if b1 then true else b2)
then "true" else "false"
let sequand b1 b2 =
let b1 = ref b1 in
let b2 = ref b2 in
let b1 = !b1 in
let b2 = !b2 in
if (if b1 then b2 else false && if b1 then b2 else false)
then "true" else "false"
let sequor' b1 b2 =
let b1 = ref b1 in
let b2 = ref b2 in
let b1 = !b1 in
let b2 = !b2 in
if (if b1 then true else b2 || if b1 then true else b2)
then "true" else "false"
let sequand' b1 b2 =
let b1 = ref b1 in
let b2 = ref b2 in
let b1 = !b1 in
let b2 = !b2 in
if (if b1 then b2 else false || if b1 then b2 else false)
then "true" else "false"
let test b1 b2 =
assert(sequor b1 b2 = if b1 || b2 then "true" else "false");
assert(sequor' b1 b2 = if b1 || b2 then "true" else "false");
assert(sequand b1 b2 = if b1 && b2 then "true" else "false");
assert(sequand' b1 b2 = if b1 && b2 then "true" else "false")
let () =
test false false;
test false true;
test true false;
test true true
include Testing
|
