annotate tests/test-util.c @ 521:338a4436e255

core: doxygenize font
author David Demelier <markand@malikania.fr>
date Sat, 04 Mar 2023 15:39:21 +0100
parents ca30ff96bbe0
children 90302d95cd33
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 /*
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 * test-util.c -- test utilities
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 *
445
773a082f0b91 misc: update copyright years
David Demelier <markand@malikania.fr>
parents: 431
diff changeset
4 * Copyright (c) 2020-2023 David Demelier <markand@malikania.fr>
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 *
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 * Permission to use, copy, modify, and/or distribute this software for any
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 * purpose with or without fee is hereby granted, provided that the above
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 * copyright notice and this permission notice appear in all copies.
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 *
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 */
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
18
431
8f59201dc76b core: cleanup hierarchy
David Demelier <markand@malikania.fr>
parents: 410
diff changeset
19 #include <mlk/core/util.h>
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
20
410
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
21 #include <dt.h>
407
e6f972e04519 tests: don't use automatic feature
David Demelier <markand@malikania.fr>
parents: 378
diff changeset
22
410
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
23 static void
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
24 test_basics_nrand(void)
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 {
336
f5a5bbb77122 tests: switch to rexo
David Demelier <markand@malikania.fr>
parents: 314
diff changeset
26 int found[10] = {0};
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
27
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
28 /* Only try from [2..5], util_nrand does not include upper range. */
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
29 for (int i = 0; i < 100000; ++i)
474
ca30ff96bbe0 core: util -> mlk_util
David Demelier <markand@malikania.fr>
parents: 445
diff changeset
30 found[mlk_util_nrand(2, 6)] = 1;
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
31
410
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
32 DT_ASSERT(!found[0]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
33 DT_ASSERT(!found[1]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
34 DT_ASSERT(found[2]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
35 DT_ASSERT(found[3]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
36 DT_ASSERT(found[4]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
37 DT_ASSERT(found[5]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
38 DT_ASSERT(!found[7]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
39 DT_ASSERT(!found[8]);
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
40 DT_ASSERT(!found[9]);
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
41 }
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
42
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
43 int
410
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
44 main(void)
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
45 {
410
1bf7d6669f0a tests: switch to libdt
David Demelier <markand@malikania.fr>
parents: 408
diff changeset
46 DT_RUN(test_basics_nrand);
287
75d2fdf96064 util: nrand no longer contains upper range
David Demelier <markand@malikania.fr>
parents:
diff changeset
47 }