this repo has no description
gdiazlo.tngl.sh
1(library
2 (name generators)
3 (libraries swim qcheck cstruct mtime ipaddr eio)
4 (modules generators))
5
6(test
7 (name test_swim)
8 (libraries
9 swim
10 generators
11 alcotest
12 qcheck
13 qcheck-alcotest
14 eio_main)
15 (modules test_swim))
16
17(test
18 (name test_codec)
19 (libraries
20 swim
21 generators
22 alcotest
23 qcheck
24 qcheck-alcotest
25 cstruct)
26 (modules test_codec))
27
28(test
29 (name test_crypto)
30 (libraries
31 swim
32 generators
33 alcotest
34 qcheck
35 qcheck-alcotest
36 cstruct
37 eio_main)
38 (modules test_crypto))
39
40(test
41 (name test_pure)
42 (libraries
43 swim
44 generators
45 alcotest
46 qcheck
47 qcheck-alcotest
48 mtime
49 eio)
50 (modules test_pure))
51
52(test
53 (name test_kcas)
54 (libraries
55 swim
56 alcotest
57 mtime
58 eio
59 eio_main)
60 (modules test_kcas))
61
62(test
63 (name test_integration)
64 (libraries
65 swim
66 alcotest
67 eio
68 eio_main)
69 (modules test_integration))
70
71(test
72 (name test_lzw)
73 (libraries
74 swim
75 alcotest)
76 (modules test_lzw))