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
|
$ dune exec ./trivial.exe
Ok
$ dune exec ./loop.exe
true
$ dune exec ./start.exe
Ok
$ dune exec ./double_start.exe
Second
$ dune exec ./repeated_start_leak.exe
End
$ dune exec ./stop.exe
Ok
$ dune exec ./again.exe
Called
$ dune exec ./close_leak.exe
End
$ dune exec ./double_close.exe
End
$ dune exec ./multithreading.exe
Main thread
Worker thread
true
$ dune exec ./busywait_deadlock.exe
Ok
$ dune exec ./exception.exe
Ok
$ dune exec ./is_active.exe
false
true
$ dune exec ./is_closing.exe
false
true
true
$ dune exec ./ref.exe
true
true
false
false
|
