blob: a0fcc9a9ea1c4ed7b09f2d814a310a85d1750f80 [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
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +020040 { .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 +010041 { .T=8, .default_val=300, .desc="Tea brewing" },
42 { .T=9, .default_val=5, .unit=OSMO_TDEF_M, .desc="Let tea cool down before drinking" },
43 { .T=10, .default_val=20, .unit=OSMO_TDEF_M, .desc="Forgot to drink tea while it's warm" },
44
45 /* test conversions */
46 { .T=1000, .default_val=2*1000, .unit=OSMO_TDEF_MS, .desc="two seconds from ms" },
Pau Espin Pedrol2299cb52020-11-15 17:58:10 +010047 { .T=1001, .default_val=60*1000, .unit=OSMO_TDEF_MS, .desc="one minute from ms" },
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010048 { .T=1004, .default_val=1, .unit=OSMO_TDEF_MS, .desc="one ms" },
49 { .T=1005, .default_val=0, .unit=OSMO_TDEF_MS, .desc="zero ms" },
50 { .T=1006, .default_val=0, .unit=OSMO_TDEF_S, .desc="zero s" },
51 { .T=1007, .default_val=0, .unit=OSMO_TDEF_M, .desc="zero m" },
52 { .T=1008, .default_val=0, .unit=OSMO_TDEF_CUSTOM, .desc="zero" },
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +010053 { .T=1009, .default_val=0, .unit=OSMO_TDEF_US, .desc="zero us" },
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010054
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010055 { .T=0, .default_val=1, .unit=OSMO_TDEF_CUSTOM, .desc="zero" },
56
57 /* no desc */
58 { .T=123, .default_val=1 },
59
60 {} // <-- important! last entry shall be zero
61};
62
Neels Hofmeyr7b740f72019-02-06 01:08:43 +010063static struct osmo_tdef tdefs_range[] = {
64 { .T=1002, .default_val=(ULONG_MAX/60), .unit=OSMO_TDEF_M, .desc="almost too many seconds" },
65 { .T=1003, .default_val=ULONG_MAX, .unit=OSMO_TDEF_M, .desc="too many seconds" },
66
67 { .T=INT_MAX, .default_val=ULONG_MAX, .unit=OSMO_TDEF_S, .desc="very large" },
68 { .T=INT_MAX-1, .default_val=ULONG_MAX-1, .unit=OSMO_TDEF_S, .desc="very large" },
69 { .T=INT_MAX-2, .default_val=LONG_MAX, .unit=OSMO_TDEF_S, .desc="very large" },
70 { .T=INT_MAX-3, .default_val=ULONG_MAX, .unit=OSMO_TDEF_M, .desc="very large in minutes" },
71 { .T=INT_MIN, .default_val=ULONG_MAX, .unit=OSMO_TDEF_S, .desc="negative" },
72
73 {}
74};
75
76#define print_tdef_get(TDEFS, T, AS_UNIT) do { \
77 unsigned long val = osmo_tdef_get(TDEFS, T, AS_UNIT, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010078 printf("osmo_tdef_get(tdefs, %d, %s, 999)\t= %lu\n", T, osmo_tdef_unit_name(AS_UNIT), val); \
79 } while (0)
80
Neels Hofmeyr7b740f72019-02-06 01:08:43 +010081#define print_tdef_get_short(TDEFS, T, AS_UNIT) do { \
82 unsigned long val = osmo_tdef_get(TDEFS, T, AS_UNIT, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +010083 printf("osmo_tdef_get(%d, %s)\t= %lu\n", T, osmo_tdef_unit_name(AS_UNIT), val); \
84 } while (0)
85
86void print_tdef_info(unsigned int T)
87{
88 const struct osmo_tdef *t = osmo_tdef_get_entry(tdefs, T);
89 if (!t) {
90 printf("T%d=NULL", T);
91 return;
92 }
93 printf("T%d=%lu%s", T, t->val, osmo_tdef_unit_name(t->unit));
94 if (t->val != t->default_val)
95 printf("(def=%lu)", t->default_val);
96 printf("\n");
97}
98
Neels Hofmeyr7b740f72019-02-06 01:08:43 +010099static void test_tdef_get(bool test_range)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100100{
101 int i;
102 enum osmo_tdef_unit as_unit;
103
104 printf("\n%s()\n", __func__);
105
106 osmo_tdefs_reset(tdefs); // make all values the default
107
108 for (i = 0; i < ARRAY_SIZE(tdefs)-1; i++) {
109 unsigned int T = tdefs[i].T;
110 print_tdef_info(T);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100111 for (as_unit = OSMO_TDEF_S; as_unit <= OSMO_TDEF_US; as_unit++) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100112 print_tdef_get_short(tdefs, T, as_unit);
113 }
114 }
115
116 if (!test_range)
117 return;
118
119 for (i = 0; i < ARRAY_SIZE(tdefs_range)-1; i++) {
120 unsigned int T = tdefs_range[i].T;
121 print_tdef_info(T);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100122 for (as_unit = OSMO_TDEF_S; as_unit <= OSMO_TDEF_US; as_unit++) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100123 print_tdef_get_short(tdefs_range, T, as_unit);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100124 }
125 }
126}
127
Harald Weltee61d4592022-11-03 11:05:58 +0100128static void test_tdef_get_nonexisting(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100129{
130 printf("\n%s()\n", __func__);
131
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100132 print_tdef_get(tdefs, 5, OSMO_TDEF_S);
133 print_tdef_get(tdefs, 5, OSMO_TDEF_MS);
134 print_tdef_get(tdefs, 5, OSMO_TDEF_M);
135 print_tdef_get(tdefs, 5, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100136 print_tdef_get(tdefs, 5, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100137}
138
Harald Weltee61d4592022-11-03 11:05:58 +0100139static void test_tdef_set_and_get(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100140{
141 struct osmo_tdef *t;
142 printf("\n%s()\n", __func__);
143
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100144 printf("setting 7 = 42\n");
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200145 t = osmo_tdef_get_entry(tdefs, 7);
Vadim Yanitskiy342a5222022-07-20 05:10:04 +0700146 OSMO_ASSERT(t != NULL);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200147 OSMO_ASSERT(osmo_tdef_val_in_range(t, 42));
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100148 t->val = 42;
149 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100150 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
151 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
152 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
153 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100154 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100155
156 printf("setting 7 = 420\n");
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200157 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 420, OSMO_TDEF_S) == 0);
158 print_tdef_info(7);
159 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
160 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
161 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
162 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100163 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200164
165 printf("setting 7 = 10 (ERANGE)\n");
166 OSMO_ASSERT(!osmo_tdef_val_in_range(t, 10));
167 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 10, OSMO_TDEF_S) == -ERANGE);
168 print_tdef_info(7);
169 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
170 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
171 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
172 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100173 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Pau Espin Pedrol0cbe8f02019-09-17 13:13:52 +0200174
175 printf("setting 7 = 900 (ERANGE)\n");
176 OSMO_ASSERT(!osmo_tdef_val_in_range(t, 900));
177 OSMO_ASSERT(osmo_tdef_set(tdefs, 7, 900, OSMO_TDEF_S) == -ERANGE);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100178 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100179 print_tdef_get_short(tdefs, 7, OSMO_TDEF_MS);
180 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
181 print_tdef_get_short(tdefs, 7, OSMO_TDEF_M);
182 print_tdef_get_short(tdefs, 7, OSMO_TDEF_CUSTOM);
Pau Espin Pedrol1b75e4b2020-11-04 20:00:38 +0100183 print_tdef_get_short(tdefs, 7, OSMO_TDEF_US);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100184
Pau Espin Pedrol9168cc92019-09-18 13:18:18 +0200185 printf("setting 23 = 50 (EEXIST)\n");
186 OSMO_ASSERT(osmo_tdef_set(tdefs, 23, 50, OSMO_TDEF_S) == -EEXIST);
187
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100188 printf("resetting\n");
189 osmo_tdefs_reset(tdefs);
190 print_tdef_info(7);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100191 print_tdef_get_short(tdefs, 7, OSMO_TDEF_S);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100192}
193
194enum test_tdef_fsm_states {
195 S_A = 0,
196 S_B,
197 S_C,
198 S_D,
199 S_G,
200 S_H,
201 S_I,
202 S_J,
203 S_K,
204 S_L,
205 S_M,
206 S_N,
207 S_O,
208 S_X,
209 S_Y,
210 S_Z,
211};
212
213static const struct osmo_tdef_state_timeout test_tdef_state_timeouts[32] = {
214 [S_A] = { .T = 1 },
215 [S_B] = { .T = 2 },
216 [S_C] = { .T = 3 },
217 [S_D] = { .T = 4 },
218
219 [S_G] = { .T = 7 },
220 [S_H] = { .T = 8 },
221 [S_I] = { .T = 9 },
222 [S_J] = { .T = 10 },
223
224 /* keep_timer: adopt whichever T was running before and continue the timeout. */
225 [S_K] = { .keep_timer = true },
226 /* S_F defines an undefined T, but should continue previous state's timeout. */
227 [S_L] = { .T = 123, .keep_timer = true },
228
229 /* range */
230 [S_M] = { .T = INT_MAX },
231 [S_N] = { .T = INT_MIN },
232
233 /* T0 is not addressable from osmo_tdef_state_timeout, since it is indistinguishable from an unset entry. Even
234 * though a timeout value is set for T=0, the transition to state S_O will show "no timer configured". */
235 [S_O] = { .T = 0 },
236
237 /* S_X undefined on purpose */
238 /* S_Y defines a T that does not exist */
239 [S_Y] = { .T = 666 },
240 /* S_Z undefined on purpose */
241};
242
243#define S(x) (1 << (x))
244
245static const struct osmo_fsm_state test_tdef_fsm_states[] = {
246#define DEF_STATE(NAME) \
247 [S_##NAME] = { \
248 .name = #NAME, \
249 .out_state_mask = 0 \
250 | S(S_A) \
251 | S(S_B) \
252 | S(S_C) \
253 | S(S_D) \
254 | S(S_G) \
255 | S(S_H) \
256 | S(S_I) \
257 | S(S_J) \
258 | S(S_K) \
259 | S(S_L) \
260 | S(S_M) \
261 | S(S_N) \
262 | S(S_O) \
263 | S(S_X) \
264 | S(S_Y) \
265 | S(S_Z) \
266 , \
267 }
268
269 DEF_STATE(A),
270 DEF_STATE(B),
271 DEF_STATE(C),
272 DEF_STATE(D),
273
274 DEF_STATE(G),
275 DEF_STATE(H),
276 DEF_STATE(I),
277 DEF_STATE(J),
278
279 DEF_STATE(K),
280 DEF_STATE(L),
281
282 DEF_STATE(M),
283 DEF_STATE(N),
284 DEF_STATE(O),
285
286 DEF_STATE(X),
287 DEF_STATE(Y),
288 /* Z: test not being allowed to transition to other states. */
289 [S_Z] = {
290 .name = "Z",
291 .out_state_mask = 0
292 | S(S_A)
293 ,
294 },
295};
296
297static const struct value_string test_tdef_fsm_event_names[] = { {} };
298
299static struct osmo_fsm test_tdef_fsm = {
300 .name = "tdef_test",
301 .states = test_tdef_fsm_states,
302 .event_names = test_tdef_fsm_event_names,
303 .num_states = ARRAY_SIZE(test_tdef_fsm_states),
304 .log_subsys = DLGLOBAL,
305};
306
307const struct timeval fake_time_start_time = { 123, 456 };
308
309#define fake_time_passes(secs, usecs) do \
310{ \
311 struct timeval diff; \
312 osmo_gettimeofday_override_add(secs, usecs); \
313 osmo_clock_override_add(CLOCK_MONOTONIC, secs, usecs * 1000); \
314 timersub(&osmo_gettimeofday_override_time, &fake_time_start_time, &diff); \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100315 printf("Time passes: %ld.%06ld s\n", (long)secs, (long)usecs); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100316 osmo_timers_prepare(); \
317 osmo_timers_update(); \
318} while (0)
319
Harald Weltee61d4592022-11-03 11:05:58 +0100320void fake_time_start(void)
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100321{
322 struct timespec *clock_override;
323
324 osmo_gettimeofday_override_time = fake_time_start_time;
325 osmo_gettimeofday_override = true;
326 clock_override = osmo_clock_override_gettimespec(CLOCK_MONOTONIC);
327 OSMO_ASSERT(clock_override);
328 clock_override->tv_sec = fake_time_start_time.tv_sec;
329 clock_override->tv_nsec = fake_time_start_time.tv_usec * 1000;
330 osmo_clock_override_enable(CLOCK_MONOTONIC, true);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100331}
332
333static void print_fsm_state(struct osmo_fsm_inst *fi)
334{
335 struct timeval remaining;
336 printf("state=%s T=%d", osmo_fsm_inst_state_name(fi), fi->T);
337
338 if (!osmo_timer_pending(&fi->timer)) {
339 printf(", no timeout\n");
340 return;
341 }
342
343 osmo_timer_remaining(&fi->timer, &osmo_gettimeofday_override_time, &remaining);
344 printf(", %lu.%06lu s remaining\n", remaining.tv_sec, remaining.tv_usec);
345}
346
347
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100348#define test_tdef_fsm_state_chg(tdefs, NEXT_STATE) do { \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100349 const struct osmo_tdef_state_timeout *st = osmo_tdef_get_state_timeout(NEXT_STATE, \
350 test_tdef_state_timeouts); \
Neels Hofmeyr4ea69822019-03-06 06:14:01 +0100351 int rc = osmo_tdef_fsm_inst_state_chg(fi, NEXT_STATE, test_tdef_state_timeouts, tdefs, 999); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100352 if (!st) { \
Neels Hofmeyr4ea69822019-03-06 06:14:01 +0100353 printf(" --> %s (no timer configured for this state) rc=%d;\t", \
354 osmo_fsm_state_name(&test_tdef_fsm, NEXT_STATE), rc); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100355 } else { \
356 struct osmo_tdef *t = osmo_tdef_get_entry(tdefs, st->T); \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100357 printf(" --> %s (configured as T%d%s %lu %s) rc=%d;\t", \
358 osmo_fsm_state_name(&test_tdef_fsm, NEXT_STATE), \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100359 st->T, st->keep_timer ? "(keep_timer)" : "", \
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100360 t? t->val : 0, t? osmo_tdef_unit_name(t->unit) : "-", \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100361 rc); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100362 } \
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100363 print_fsm_state(fi); \
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100364 } while(0)
365
366
367
368static void test_tdef_state_timeout(bool test_range)
369{
370 struct osmo_fsm_inst *fi;
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100371 unsigned long m_secs;
372 printf("\n%s()\n", __func__);
373
374 osmo_tdefs_reset(tdefs);
375
376 fake_time_start();
377
378 fi = osmo_fsm_inst_alloc(&test_tdef_fsm, ctx, NULL, LOGL_DEBUG, __func__);
379 OSMO_ASSERT(fi);
380 print_fsm_state(fi);
381
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100382 test_tdef_fsm_state_chg(tdefs, S_A);
383 test_tdef_fsm_state_chg(tdefs, S_B);
384 test_tdef_fsm_state_chg(tdefs, S_C);
385 test_tdef_fsm_state_chg(tdefs, S_D);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100386
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100387 test_tdef_fsm_state_chg(tdefs, S_G);
388 test_tdef_fsm_state_chg(tdefs, S_H);
389 test_tdef_fsm_state_chg(tdefs, S_I);
390 test_tdef_fsm_state_chg(tdefs, S_J);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100391
392 printf("- test keep_timer:\n");
393 fake_time_passes(123, 45678);
394 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100395 test_tdef_fsm_state_chg(tdefs, S_K);
396 test_tdef_fsm_state_chg(tdefs, S_A);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100397 fake_time_passes(23, 45678);
398 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100399 test_tdef_fsm_state_chg(tdefs, S_K);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100400
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100401 test_tdef_fsm_state_chg(tdefs, S_A);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100402 fake_time_passes(23, 45678);
403 print_fsm_state(fi);
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100404 test_tdef_fsm_state_chg(tdefs, S_L);
Neels Hofmeyr4f54c6c2019-03-06 06:03:24 +0100405 test_tdef_fsm_state_chg(tdefs, S_O);
406 test_tdef_fsm_state_chg(tdefs, S_L);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100407
408 printf("- test T=0:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100409 test_tdef_fsm_state_chg(tdefs, S_O);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100410
411 printf("- test no timer:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100412 test_tdef_fsm_state_chg(tdefs, S_X);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100413
414 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 +0100415 test_tdef_fsm_state_chg(tdefs, S_Y);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100416
417 /* the range of unsigned long is architecture dependent. This test can be invoked manually to see whether
418 * clamping the timeout values works, but the output will be of varying lengths depending on the system's
419 * unsigned long range, and would cause differences in expected output. */
420 if (test_range) {
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100421 struct osmo_tdef *m;
422
423 printf("- test large T:\n");
424 test_tdef_fsm_state_chg(tdefs_range, S_M);
425
426 printf("- test T<0:\n");
427 test_tdef_fsm_state_chg(tdefs_range, S_N);
428
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100429 printf("- test range:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100430 test_tdef_fsm_state_chg(tdefs_range, S_M);
431
432 m = osmo_tdef_get_entry(tdefs_range, INT_MAX);
433 OSMO_ASSERT(m);
434
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100435 /* sweep through all the bits, shifting in 0xfffff.. from the right. */
436 m_secs = 0;
437 do {
438 m_secs = (m_secs << 1) + 1;
439 switch (m_secs) {
440 case 0x7fff:
441 printf("--- int32_t max ---\n");
442 break;
443 case 0xffff:
444 printf("--- uint32_t max ---\n");
445 break;
446 case 0x7fffffff:
447 printf("--- int64_t max ---\n");
448 break;
449 case 0xffffffff:
450 printf("--- uint64_t max ---\n");
451 break;
452 default:
453 break;
454 }
455
456 m->val = m_secs - 1;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100457 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100458 m->val = m_secs;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100459 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100460 m->val = m_secs + 1;
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100461 test_tdef_fsm_state_chg(tdefs_range, S_M);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100462 } while (m_secs < ULONG_MAX);
463 }
464
465 printf("- test disallowed transition:\n");
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100466 test_tdef_fsm_state_chg(tdefs, S_Z);
467 test_tdef_fsm_state_chg(tdefs, S_B);
468 test_tdef_fsm_state_chg(tdefs, S_C);
469 test_tdef_fsm_state_chg(tdefs, S_D);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100470}
471
472int main(int argc, char **argv)
473{
474 ctx = talloc_named_const(NULL, 0, "tdef_test.c");
475 osmo_init_logging2(ctx, NULL);
476
Pau Espin Pedrol01e0d3e2021-02-18 19:25:44 +0100477 log_set_print_filename2(osmo_stderr_target, LOG_FILENAME_NONE);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100478 log_set_print_category(osmo_stderr_target, 1);
479 log_set_use_color(osmo_stderr_target, 0);
480
Harald Welteae5016f2019-12-01 13:38:20 +0100481 OSMO_ASSERT(osmo_fsm_register(&test_tdef_fsm) == 0);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100482
Neels Hofmeyr7b740f72019-02-06 01:08:43 +0100483 test_tdef_get(argc > 1);
Neels Hofmeyr0fd615f2019-01-26 20:36:12 +0100484 test_tdef_get_nonexisting();
485 test_tdef_set_and_get();
486 /* Run range test iff any argument is passed on the cmdline. For the rationale, see the comment in
487 * test_tdef_state_timeout(). */
488 test_tdef_state_timeout(argc > 1);
489
490 return EXIT_SUCCESS;
491}