blob: 13dcd0150911c64719a73b6281e067f84a311cde [file] [log] [blame]
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +01001/* Test implementation for osmo_tdef API. */
2/*
3 * (C) 2019 by sysmocom s.f.m.c. GmbH <info@sysmocom.de>
4 *
5 * All Rights Reserved
6 *
7 * SPDX-License-Identifier: GPL-2.0+
8 *
9 * Author: Neels Hofmeyr <neels@hofmeyr.de>
10 *
11 * This program is free software; you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; either version 2 of the License, or
14 * (at your option) any later version.
15 *
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010020 */
21
22#include <stdio.h>
23#include <errno.h>
24#include <limits.h>
25
26#include <osmocom/core/logging.h>
27#include <osmocom/core/application.h>
28#include <osmocom/core/fsm.h>
29
30#include <osmocom/core/tdef.h>
31
32static void *ctx = NULL;
33
34static struct osmo_tdef tdefs[] = {
35 { .T=1, .default_val=100, .desc="100s" },
36 { .T=2, .default_val=100, .unit=OSMO_TDEF_MS, .desc="100ms" },
Pau Espin Pedrole81c2f42020-11-15 17:52:09 +010037 { .T=3, .default_val=50, .unit=OSMO_TDEF_M, .desc="50m" },
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010038 { .T=4, .default_val=100, .unit=OSMO_TDEF_CUSTOM, .desc="100 potatoes" },
39
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +070040 { .T=-5, .default_val=100, .unit=OSMO_TDEF_MS, .desc="X-100ms" },
41 { .T=-6, .default_val=100, .unit=OSMO_TDEF_US, .desc="X-100us" },
42
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +020043 { .T=7, .default_val=50, .desc="Water Boiling Timeout", .min_val=20, .max_val=800 }, // default is .unit=OSMO_TDEF_S == 0
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010044 { .T=8, .default_val=300, .desc="Tea brewing" },
45 { .T=9, .default_val=5, .unit=OSMO_TDEF_M, .desc="Let tea cool down before drinking" },
46 { .T=10, .default_val=20, .unit=OSMO_TDEF_M, .desc="Forgot to drink tea while it's warm" },
47
48 /* test conversions */
49 { .T=1000, .default_val=2*1000, .unit=OSMO_TDEF_MS, .desc="two seconds from ms" },
Pau Espin Pedrol2299cb52020-11-15 17:58:10 +010050 { .T=1001, .default_val=60*1000, .unit=OSMO_TDEF_MS, .desc="one minute from ms" },
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010051 { .T=1004, .default_val=1, .unit=OSMO_TDEF_MS, .desc="one ms" },
52 { .T=1005, .default_val=0, .unit=OSMO_TDEF_MS, .desc="zero ms" },
53 { .T=1006, .default_val=0, .unit=OSMO_TDEF_S, .desc="zero s" },
54 { .T=1007, .default_val=0, .unit=OSMO_TDEF_M, .desc="zero m" },
55 { .T=1008, .default_val=0, .unit=OSMO_TDEF_CUSTOM, .desc="zero" },
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +010056 { .T=1009, .default_val=0, .unit=OSMO_TDEF_US, .desc="zero us" },
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010057
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010058 { .T=0, .default_val=1, .unit=OSMO_TDEF_CUSTOM, .desc="zero" },
59
60 /* no desc */
61 { .T=123, .default_val=1 },
62
63 {} // <-- important! last entry shall be zero
64};
65
Neels Hofmeyr7b740f72019-02-06 01:08:43 +010066static struct osmo_tdef tdefs_range[] = {
67 { .T=1002, .default_val=(ULONG_MAX/60), .unit=OSMO_TDEF_M, .desc="almost too many seconds" },
68 { .T=1003, .default_val=ULONG_MAX, .unit=OSMO_TDEF_M, .desc="too many seconds" },
69
70 { .T=INT_MAX, .default_val=ULONG_MAX, .unit=OSMO_TDEF_S, .desc="very large" },
71 { .T=INT_MAX-1, .default_val=ULONG_MAX-1, .unit=OSMO_TDEF_S, .desc="very large" },
72 { .T=INT_MAX-2, .default_val=LONG_MAX, .unit=OSMO_TDEF_S, .desc="very large" },
73 { .T=INT_MAX-3, .default_val=ULONG_MAX, .unit=OSMO_TDEF_M, .desc="very large in minutes" },
74 { .T=INT_MIN, .default_val=ULONG_MAX, .unit=OSMO_TDEF_S, .desc="negative" },
75
76 {}
77};
78
79#define print_tdef_get(TDEFS, T, AS_UNIT) do { \
80 unsigned long val = osmo_tdef_get(TDEFS, T, AS_UNIT, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010081 printf("osmo_tdef_get(tdefs, %d, %s, 999)\t= %lu\n", T, osmo_tdef_unit_name(AS_UNIT), val); \
82 } while (0)
83
Neels Hofmeyr7b740f72019-02-06 01:08:43 +010084#define print_tdef_get_short(TDEFS, T, AS_UNIT) do { \
85 unsigned long val = osmo_tdef_get(TDEFS, T, AS_UNIT, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010086 printf("osmo_tdef_get(%d, %s)\t= %lu\n", T, osmo_tdef_unit_name(AS_UNIT), val); \
87 } while (0)
88
89void print_tdef_info(unsigned int T)
90{
91 const struct osmo_tdef *t = osmo_tdef_get_entry(tdefs, T);
92 if (!t) {
93 printf("T%d=NULL", T);
94 return;
95 }
96 printf("T%d=%lu%s", T, t->val, osmo_tdef_unit_name(t->unit));
97 if (t->val != t->default_val)
98 printf("(def=%lu)", t->default_val);
99 printf("\n");
100}
101
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100102static void test_tdef_get(bool test_range)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100103{
104 int i;
105 enum osmo_tdef_unit as_unit;
106
107 printf("\n%s()\n", __func__);
108
109 osmo_tdefs_reset(tdefs); // make all values the default
110
111 for (i = 0; i < ARRAY_SIZE(tdefs)-1; i++) {
112 unsigned int T = tdefs[i].T;
113 print_tdef_info(T);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100114 for (as_unit = OSMO_TDEF_S; as_unit <= OSMO_TDEF_US; as_unit++) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100115 print_tdef_get_short(tdefs, T, as_unit);
116 }
117 }
118
119 if (!test_range)
120 return;
121
122 for (i = 0; i < ARRAY_SIZE(tdefs_range)-1; i++) {
123 unsigned int T = tdefs_range[i].T;
124 print_tdef_info(T);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100125 for (as_unit = OSMO_TDEF_S; as_unit <= OSMO_TDEF_US; as_unit++) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100126 print_tdef_get_short(tdefs_range, T, as_unit);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100127 }
128 }
129}
130
Harald Weltee61d4592022-11-03 11:05:58 +0100131static void test_tdef_get_nonexisting(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100132{
133 printf("\n%s()\n", __func__);
134
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100135 print_tdef_get(tdefs, 5, OSMO_TDEF_S);
136 print_tdef_get(tdefs, 5, OSMO_TDEF_MS);
137 print_tdef_get(tdefs, 5, OSMO_TDEF_M);
138 print_tdef_get(tdefs, 5, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100139 print_tdef_get(tdefs, 5, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100140}
141
Harald Weltee61d4592022-11-03 11:05:58 +0100142static void test_tdef_set_and_get(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100143{
144 struct osmo_tdef *t;
145 printf("\n%s()\n", __func__);
146
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100147 printf("setting 7 = 42\n");
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200148 t = osmo_tdef_get_entry(tdefs, 7);
Vadim Yanitskiy342a5222022-07-20 05:10:04 +0700149 OSMO_ASSERT(t != NULL);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200150 OSMO_ASSERT(osmo_tdef_val_in_range(t, 42));
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100151 t->val = 42;
152 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100153 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
154 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
155 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
156 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100157 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100158
159 printf("setting 7 = 420\n");
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200160 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 420, OSMO_TDEF_S) == 0);
161 print_tdef_info(7);
162 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
163 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
164 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
165 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100166 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200167
168 printf("setting 7 = 10 (ERANGE)\n");
169 OSMO_ASSERT(!osmo_tdef_val_in_range(t, 10));
170 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 10, OSMO_TDEF_S) == -ERANGE);
171 print_tdef_info(7);
172 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
173 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
174 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
175 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100176 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200177
178 printf("setting 7 = 900 (ERANGE)\n");
179 OSMO_ASSERT(!osmo_tdef_val_in_range(t, 900));
180 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 900, OSMO_TDEF_S) == -ERANGE);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100181 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100182 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
183 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
184 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
185 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100186 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100187
Pau Espin Pedrol9168cc92019-09-18 13:18:18 +0200188 printf("setting 23 = 50 (EEXIST)\n");
189 OSMO_ASSERT(osmo_tdef_set(tdefs, 23, 50, OSMO_TDEF_S) == -EEXIST);
190
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100191 printf("resetting\n");
192 osmo_tdefs_reset(tdefs);
193 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100194 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100195}
196
197enum test_tdef_fsm_states {
198 S_A = 0,
199 S_B,
200 S_C,
201 S_D,
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700202 S_E,
203 S_F,
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100204 S_G,
205 S_H,
206 S_I,
207 S_J,
208 S_K,
209 S_L,
210 S_M,
211 S_N,
212 S_O,
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700213 /* ... gap ... */
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100214 S_X,
215 S_Y,
216 S_Z,
217};
218
219static const struct osmo_tdef_state_timeout test_tdef_state_timeouts[32] = {
220 [S_A] = { .T = 1 },
221 [S_B] = { .T = 2 },
222 [S_C] = { .T = 3 },
223 [S_D] = { .T = 4 },
224
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700225 [S_E] = { .T = -5 },
226 [S_F] = { .T = -6 },
227
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100228 [S_G] = { .T = 7 },
229 [S_H] = { .T = 8 },
230 [S_I] = { .T = 9 },
231 [S_J] = { .T = 10 },
232
233 /* keep_timer: adopt whichever T was running before and continue the timeout. */
234 [S_K] = { .keep_timer = true },
235 /* S_F defines an undefined T, but should continue previous state's timeout. */
236 [S_L] = { .T = 123, .keep_timer = true },
237
238 /* range */
239 [S_M] = { .T = INT_MAX },
240 [S_N] = { .T = INT_MIN },
241
242 /* T0 is not addressable from osmo_tdef_state_timeout, since it is indistinguishable from an unset entry. Even
243 * though a timeout value is set for T=0, the transition to state S_O will show "no timer configured". */
244 [S_O] = { .T = 0 },
245
246 /* S_X undefined on purpose */
247 /* S_Y defines a T that does not exist */
248 [S_Y] = { .T = 666 },
249 /* S_Z undefined on purpose */
250};
251
252#define S(x) (1 << (x))
253
254static const struct osmo_fsm_state test_tdef_fsm_states[] = {
255#define DEF_STATE(NAME) \
256 [S_##NAME] = { \
257 .name = #NAME, \
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700258 .out_state_mask = 0xffffffff, \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100259 }
260
261 DEF_STATE(A),
262 DEF_STATE(B),
263 DEF_STATE(C),
264 DEF_STATE(D),
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700265 DEF_STATE(E),
266 DEF_STATE(F),
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100267 DEF_STATE(G),
268 DEF_STATE(H),
269 DEF_STATE(I),
270 DEF_STATE(J),
271
272 DEF_STATE(K),
273 DEF_STATE(L),
274
275 DEF_STATE(M),
276 DEF_STATE(N),
277 DEF_STATE(O),
278
279 DEF_STATE(X),
280 DEF_STATE(Y),
281 /* Z: test not being allowed to transition to other states. */
282 [S_Z] = {
283 .name = "Z",
284 .out_state_mask = 0
285 | S(S_A)
286 ,
287 },
288};
289
290static const struct value_string test_tdef_fsm_event_names[] = { {} };
291
292static struct osmo_fsm test_tdef_fsm = {
293 .name = "tdef_test",
294 .states = test_tdef_fsm_states,
295 .event_names = test_tdef_fsm_event_names,
296 .num_states = ARRAY_SIZE(test_tdef_fsm_states),
297 .log_subsys = DLGLOBAL,
298};
299
300const struct timeval fake_time_start_time = { 123, 456 };
301
302#define fake_time_passes(secs, usecs) do \
303{ \
304 struct timeval diff; \
305 osmo_gettimeofday_override_add(secs, usecs); \
306 osmo_clock_override_add(CLOCK_MONOTONIC, secs, usecs * 1000); \
307 timersub(&osmo_gettimeofday_override_time, &fake_time_start_time, &diff); \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100308 printf("Time passes: %ld.%06ld s\n", (long)secs, (long)usecs); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100309 osmo_timers_prepare(); \
310 osmo_timers_update(); \
311} while (0)
312
Harald Weltee61d4592022-11-03 11:05:58 +0100313void fake_time_start(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100314{
315 struct timespec *clock_override;
316
317 osmo_gettimeofday_override_time = fake_time_start_time;
318 osmo_gettimeofday_override = true;
319 clock_override = osmo_clock_override_gettimespec(CLOCK_MONOTONIC);
320 OSMO_ASSERT(clock_override);
321 clock_override->tv_sec = fake_time_start_time.tv_sec;
322 clock_override->tv_nsec = fake_time_start_time.tv_usec * 1000;
323 osmo_clock_override_enable(CLOCK_MONOTONIC, true);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100324}
325
326static void print_fsm_state(struct osmo_fsm_inst *fi)
327{
328 struct timeval remaining;
329 printf("state=%s T=%d", osmo_fsm_inst_state_name(fi), fi->T);
330
331 if (!osmo_timer_pending(&fi->timer)) {
332 printf(", no timeout\n");
333 return;
334 }
335
336 osmo_timer_remaining(&fi->timer, &osmo_gettimeofday_override_time, &remaining);
337 printf(", %lu.%06lu s remaining\n", remaining.tv_sec, remaining.tv_usec);
338}
339
340
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100341#define test_tdef_fsm_state_chg(tdefs, NEXT_STATE) do { \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100342 const struct osmo_tdef_state_timeout *st = osmo_tdef_get_state_timeout(NEXT_STATE, \
343 test_tdef_state_timeouts); \
Neels Hofmeyr4ea69822019-03-06 06:14:01 +0100344 int rc = osmo_tdef_fsm_inst_state_chg(fi, NEXT_STATE, test_tdef_state_timeouts, tdefs, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100345 if (!st) { \
Neels Hofmeyr4ea69822019-03-06 06:14:01 +0100346 printf(" --> %s (no timer configured for this state) rc=%d;\t", \
347 osmo_fsm_state_name(&test_tdef_fsm, NEXT_STATE), rc); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100348 } else { \
349 struct osmo_tdef *t = osmo_tdef_get_entry(tdefs, st->T); \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100350 printf(" --> %s (configured as T%d%s %lu %s) rc=%d;\t", \
351 osmo_fsm_state_name(&test_tdef_fsm, NEXT_STATE), \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100352 st->T, st->keep_timer ? "(keep_timer)" : "", \
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100353 t? t->val : 0, t? osmo_tdef_unit_name(t->unit) : "-", \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100354 rc); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100355 } \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100356 print_fsm_state(fi); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100357 } while(0)
358
359
360
361static void test_tdef_state_timeout(bool test_range)
362{
363 struct osmo_fsm_inst *fi;
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100364 unsigned long m_secs;
365 printf("\n%s()\n", __func__);
366
367 osmo_tdefs_reset(tdefs);
368
369 fake_time_start();
370
371 fi = osmo_fsm_inst_alloc(&test_tdef_fsm, ctx, NULL, LOGL_DEBUG, __func__);
372 OSMO_ASSERT(fi);
373 print_fsm_state(fi);
374
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100375 test_tdef_fsm_state_chg(tdefs, S_A);
376 test_tdef_fsm_state_chg(tdefs, S_B);
377 test_tdef_fsm_state_chg(tdefs, S_C);
378 test_tdef_fsm_state_chg(tdefs, S_D);
Vadim Yanitskiye30d22a2023-12-30 04:22:26 +0700379 test_tdef_fsm_state_chg(tdefs, S_E);
380 test_tdef_fsm_state_chg(tdefs, S_F);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100381 test_tdef_fsm_state_chg(tdefs, S_G);
382 test_tdef_fsm_state_chg(tdefs, S_H);
383 test_tdef_fsm_state_chg(tdefs, S_I);
384 test_tdef_fsm_state_chg(tdefs, S_J);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100385
386 printf("- test keep_timer:\n");
387 fake_time_passes(123, 45678);
388 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100389 test_tdef_fsm_state_chg(tdefs, S_K);
390 test_tdef_fsm_state_chg(tdefs, S_A);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100391 fake_time_passes(23, 45678);
392 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100393 test_tdef_fsm_state_chg(tdefs, S_K);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100394
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100395 test_tdef_fsm_state_chg(tdefs, S_A);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100396 fake_time_passes(23, 45678);
397 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100398 test_tdef_fsm_state_chg(tdefs, S_L);
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100399 test_tdef_fsm_state_chg(tdefs, S_O);
400 test_tdef_fsm_state_chg(tdefs, S_L);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100401
402 printf("- test T=0:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100403 test_tdef_fsm_state_chg(tdefs, S_O);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100404
405 printf("- test no timer:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100406 test_tdef_fsm_state_chg(tdefs, S_X);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100407
408 printf("- test undefined timer, using default_val arg of osmo_tdef_fsm_inst_state_chg(), here passed as 999:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100409 test_tdef_fsm_state_chg(tdefs, S_Y);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100410
411 /* the range of unsigned long is architecture dependent. This test can be invoked manually to see whether
412 * clamping the timeout values works, but the output will be of varying lengths depending on the system's
413 * unsigned long range, and would cause differences in expected output. */
414 if (test_range) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100415 struct osmo_tdef *m;
416
417 printf("- test large T:\n");
418 test_tdef_fsm_state_chg(tdefs_range, S_M);
419
420 printf("- test T<0:\n");
421 test_tdef_fsm_state_chg(tdefs_range, S_N);
422
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100423 printf("- test range:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100424 test_tdef_fsm_state_chg(tdefs_range, S_M);
425
426 m = osmo_tdef_get_entry(tdefs_range, INT_MAX);
427 OSMO_ASSERT(m);
428
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100429 /* sweep through all the bits, shifting in 0xfffff.. from the right. */
430 m_secs = 0;
431 do {
432 m_secs = (m_secs << 1) + 1;
433 switch (m_secs) {
434 case 0x7fff:
435 printf("--- int32_t max ---\n");
436 break;
437 case 0xffff:
438 printf("--- uint32_t max ---\n");
439 break;
440 case 0x7fffffff:
441 printf("--- int64_t max ---\n");
442 break;
443 case 0xffffffff:
444 printf("--- uint64_t max ---\n");
445 break;
446 default:
447 break;
448 }
449
450 m->val = m_secs - 1;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100451 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100452 m->val = m_secs;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100453 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100454 m->val = m_secs + 1;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100455 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100456 } while (m_secs < ULONG_MAX);
457 }
458
459 printf("- test disallowed transition:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100460 test_tdef_fsm_state_chg(tdefs, S_Z);
461 test_tdef_fsm_state_chg(tdefs, S_B);
462 test_tdef_fsm_state_chg(tdefs, S_C);
463 test_tdef_fsm_state_chg(tdefs, S_D);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100464}
465
466int main(int argc, char **argv)
467{
468 ctx = talloc_named_const(NULL, 0, "tdef_test.c");
469 osmo_init_logging2(ctx, NULL);
470
Pau Espin Pedrol01e0d3e2021-02-18 19:25:44 +0100471 log_set_print_filename2(osmo_stderr_target, LOG_FILENAME_NONE);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100472 log_set_print_category(osmo_stderr_target, 1);
473 log_set_use_color(osmo_stderr_target, 0);
474
Harald Welteae5016f2019-12-01 13:38:20 +0100475 OSMO_ASSERT(osmo_fsm_register(&test_tdef_fsm) == 0);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100476
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100477 test_tdef_get(argc > 1);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100478 test_tdef_get_nonexisting();
479 test_tdef_set_and_get();
480 /* Run range test iff any argument is passed on the cmdline. For the rationale, see the comment in
481 * test_tdef_state_timeout(). */
482 test_tdef_state_timeout(argc > 1);
483
484 return EXIT_SUCCESS;
485}