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
|
(rule
(action
(copy ../../src/bounded_queue/bounded_queue.ml bounded_queue.ml))
(package saturn))
(rule
(action
(copy
../../src/bounded_queue/bounded_queue_unsafe.ml
bounded_queue_unsafe.ml))
(package saturn))
(rule
(action
(copy ../../src/bounded_queue/bounded_queue_intf.mli bounded_queue_intf.ml))
(package saturn))
(test
(package saturn)
(name dscheck_bounded_queue)
(libraries alcotest atomic backoff dscheck multicore-magic-dscheck)
(build_if
(and
(>= %{ocaml_version} 5)
(not
(and
(= %{arch_sixtyfour} false)
(= %{architecture} arm)))))
(modules
bounded_queue
bounded_queue_unsafe
bounded_queue_intf
dscheck_bounded_queue)
(flags
(:standard -open Multicore_magic_dscheck)))
(test
(package saturn)
(name stm_bounded_queue)
(modules stm_bounded_queue)
(libraries bounded_queues saturn qcheck-core qcheck-stm.stm stm_run)
(enabled_if
(= %{arch_sixtyfour} true)))
(test
(package saturn)
(name qcheck_bounded_queue)
(libraries
bounded_queues
saturn
barrier
qcheck
qcheck-core
qcheck-alcotest
alcotest)
(modules qcheck_bounded_queue))
|
