aboutsummaryrefslogtreecommitdiffstats
path: root/tests/tdef/tdef_test_range_64bit.ok
blob: 7ec295db744fa899d6c39da963e5e50a95fcc2d5 (plain)
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
test_tdef_get()
T1=100s
osmo_tdef_get(1, s)	= 100
osmo_tdef_get(1, ms)	= 100000
osmo_tdef_get(1, m)	= 2
osmo_tdef_get(1, custom-unit)	= 100
T2=100ms
osmo_tdef_get(2, s)	= 1
osmo_tdef_get(2, ms)	= 100
osmo_tdef_get(2, m)	= 1
osmo_tdef_get(2, custom-unit)	= 100
T3=100m
osmo_tdef_get(3, s)	= 6000
osmo_tdef_get(3, ms)	= 6000000
osmo_tdef_get(3, m)	= 100
osmo_tdef_get(3, custom-unit)	= 100
T4=100custom-unit
osmo_tdef_get(4, s)	= 100
osmo_tdef_get(4, ms)	= 100
osmo_tdef_get(4, m)	= 100
osmo_tdef_get(4, custom-unit)	= 100
T7=50s
osmo_tdef_get(7, s)	= 50
osmo_tdef_get(7, ms)	= 50000
osmo_tdef_get(7, m)	= 1
osmo_tdef_get(7, custom-unit)	= 50
T8=300s
osmo_tdef_get(8, s)	= 300
osmo_tdef_get(8, ms)	= 300000
osmo_tdef_get(8, m)	= 5
osmo_tdef_get(8, custom-unit)	= 300
T9=5m
osmo_tdef_get(9, s)	= 300
osmo_tdef_get(9, ms)	= 300000
osmo_tdef_get(9, m)	= 5
osmo_tdef_get(9, custom-unit)	= 5
T10=20m
osmo_tdef_get(10, s)	= 1200
osmo_tdef_get(10, ms)	= 1200000
osmo_tdef_get(10, m)	= 20
osmo_tdef_get(10, custom-unit)	= 20
T1000=2000ms
osmo_tdef_get(1000, s)	= 2
osmo_tdef_get(1000, ms)	= 2000
osmo_tdef_get(1000, m)	= 1
osmo_tdef_get(1000, custom-unit)	= 2000
T1001=60000ms
osmo_tdef_get(1001, s)	= 60
osmo_tdef_get(1001, ms)	= 60000
osmo_tdef_get(1001, m)	= 1
osmo_tdef_get(1001, custom-unit)	= 60000
T1004=1ms
osmo_tdef_get(1004, s)	= 1
osmo_tdef_get(1004, ms)	= 1
osmo_tdef_get(1004, m)	= 1
osmo_tdef_get(1004, custom-unit)	= 1
T1005=0ms
osmo_tdef_get(1005, s)	= 0
osmo_tdef_get(1005, ms)	= 0
osmo_tdef_get(1005, m)	= 0
osmo_tdef_get(1005, custom-unit)	= 0
T1006=0s
osmo_tdef_get(1006, s)	= 0
osmo_tdef_get(1006, ms)	= 0
osmo_tdef_get(1006, m)	= 0
osmo_tdef_get(1006, custom-unit)	= 0
T1007=0m
osmo_tdef_get(1007, s)	= 0
osmo_tdef_get(1007, ms)	= 0
osmo_tdef_get(1007, m)	= 0
osmo_tdef_get(1007, custom-unit)	= 0
T1008=0custom-unit
osmo_tdef_get(1008, s)	= 0
osmo_tdef_get(1008, ms)	= 0
osmo_tdef_get(1008, m)	= 0
osmo_tdef_get(1008, custom-unit)	= 0
T0=1custom-unit
osmo_tdef_get(0, s)	= 1
osmo_tdef_get(0, ms)	= 1
osmo_tdef_get(0, m)	= 1
osmo_tdef_get(0, custom-unit)	= 1
T123=1s
osmo_tdef_get(123, s)	= 1
osmo_tdef_get(123, ms)	= 1000
osmo_tdef_get(123, m)	= 1
osmo_tdef_get(123, custom-unit)	= 1
T1002=NULLosmo_tdef_get(1002, s)	= 0
osmo_tdef_get(1002, ms)	= 0
osmo_tdef_get(1002, m)	= 0
osmo_tdef_get(1002, custom-unit)	= 0
T1003=NULLosmo_tdef_get(1003, s)	= 0
osmo_tdef_get(1003, ms)	= 0
osmo_tdef_get(1003, m)	= 0
osmo_tdef_get(1003, custom-unit)	= 0
T2147483647=NULLosmo_tdef_get(2147483647, s)	= 0
osmo_tdef_get(2147483647, ms)	= 0
osmo_tdef_get(2147483647, m)	= 0
osmo_tdef_get(2147483647, custom-unit)	= 0
T2147483646=NULLosmo_tdef_get(2147483646, s)	= 0
osmo_tdef_get(2147483646, ms)	= 0
osmo_tdef_get(2147483646, m)	= 0
osmo_tdef_get(2147483646, custom-unit)	= 0
T2147483645=NULLosmo_tdef_get(2147483645, s)	= 0
osmo_tdef_get(2147483645, ms)	= 0
osmo_tdef_get(2147483645, m)	= 0
osmo_tdef_get(2147483645, custom-unit)	= 0
T2147483644=NULLosmo_tdef_get(2147483644, s)	= 0
osmo_tdef_get(2147483644, ms)	= 0
osmo_tdef_get(2147483644, m)	= 0
osmo_tdef_get(2147483644, custom-unit)	= 0
T-2147483648=NULLosmo_tdef_get(-2147483648, s)	= 0
osmo_tdef_get(-2147483648, ms)	= 0
osmo_tdef_get(-2147483648, m)	= 0
osmo_tdef_get(-2147483648, custom-unit)	= 0

test_tdef_get_nonexisting()
osmo_tdef_get(tdefs, 5, s, 999)	= 999
osmo_tdef_get(tdefs, 5, ms, 999)	= 999
osmo_tdef_get(tdefs, 5, m, 999)	= 999
osmo_tdef_get(tdefs, 5, custom-unit, 999)	= 999

test_tdef_set_and_get()
setting 7 = 42
T7=42s(def=50)
osmo_tdef_get(7, ms)	= 42000
osmo_tdef_get(7, s)	= 42
osmo_tdef_get(7, m)	= 1
osmo_tdef_get(7, custom-unit)	= 42
setting 7 = 420
T7=420s(def=50)
osmo_tdef_get(7, ms)	= 420000
osmo_tdef_get(7, s)	= 420
osmo_tdef_get(7, m)	= 7
osmo_tdef_get(7, custom-unit)	= 420
resetting
T7=50s
osmo_tdef_get(7, s)	= 50

test_tdef_state_timeout()
state=A T=0, no timeout
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
 --> B (configured as T2 100 ms) rc=0;	state=B T=2, 1.000000 s remaining
 --> C (configured as T3 100 m) rc=0;	state=C T=3, 6000.000000 s remaining
 --> D (configured as T4 100 custom-unit) rc=0;	state=D T=4, 100.000000 s remaining
 --> G (configured as T7 50 s) rc=0;	state=G T=7, 50.000000 s remaining
 --> H (configured as T8 300 s) rc=0;	state=H T=8, 300.000000 s remaining
 --> I (configured as T9 5 m) rc=0;	state=I T=9, 300.000000 s remaining
 --> J (configured as T10 20 m) rc=0;	state=J T=10, 1200.000000 s remaining
- test keep_timer:
Time passes: 123.045678 s
state=J T=10, 1076.954322 s remaining
 --> K (configured as T0(keep_timer) 1 custom-unit) rc=0;	state=K T=10, 1076.954322 s remaining
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
Time passes: 23.045678 s
state=A T=1, 76.954322 s remaining
 --> K (configured as T0(keep_timer) 1 custom-unit) rc=0;	state=K T=1, 76.954322 s remaining
 --> A (configured as T1 100 s) rc=0;	state=A T=1, 100.000000 s remaining
Time passes: 23.045678 s
state=A T=1, 76.954322 s remaining
 --> L (configured as T123(keep_timer) 1 s) rc=0;	state=L T=1, 76.954322 s remaining
 --> O (no timer configured for this state) rc=0;	state=O T=0, no timeout
 --> L (configured as T123(keep_timer) 1 s) rc=0;	state=L T=123, 1.000000 s remaining
- test T=0:
 --> O (no timer configured for this state) rc=0;	state=O T=0, no timeout
- test no timer:
 --> X (no timer configured for this state) rc=0;	state=X T=0, no timeout
- test undefined timer, using default_val arg of osmo_tdef_fsm_inst_state_chg(), here passed as 999:
 --> Y (configured as T666 0 -) rc=0;	state=Y T=666, 999.000000 s remaining
- test large T:
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
- test T<0:
 --> N (configured as T-2147483648 0 s) rc=0;	state=N T=-2147483648, no timeout
- test range:
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
 --> M (configured as T2147483647 1 s) rc=0;	state=M T=2147483647, 1.000000 s remaining
 --> M (configured as T2147483647 2 s) rc=0;	state=M T=2147483647, 2.000000 s remaining
 --> M (configured as T2147483647 2 s) rc=0;	state=M T=2147483647, 2.000000 s remaining
 --> M (configured as T2147483647 3 s) rc=0;	state=M T=2147483647, 3.000000 s remaining
 --> M (configured as T2147483647 4 s) rc=0;	state=M T=2147483647, 4.000000 s remaining
 --> M (configured as T2147483647 6 s) rc=0;	state=M T=2147483647, 6.000000 s remaining
 --> M (configured as T2147483647 7 s) rc=0;	state=M T=2147483647, 7.000000 s remaining
 --> M (configured as T2147483647 8 s) rc=0;	state=M T=2147483647, 8.000000 s remaining
 --> M (configured as T2147483647 14 s) rc=0;	state=M T=2147483647, 14.000000 s remaining
 --> M (configured as T2147483647 15 s) rc=0;	state=M T=2147483647, 15.000000 s remaining
 --> M (configured as T2147483647 16 s) rc=0;	state=M T=2147483647, 16.000000 s remaining
 --> M (configured as T2147483647 30 s) rc=0;	state=M T=2147483647, 30.000000 s remaining
 --> M (configured as T2147483647 31 s) rc=0;	state=M T=2147483647, 31.000000 s remaining
 --> M (configured as T2147483647 32 s) rc=0;	state=M T=2147483647, 32.000000 s remaining
 --> M (configured as T2147483647 62 s) rc=0;	state=M T=2147483647, 62.000000 s remaining
 --> M (configured as T2147483647 63 s) rc=0;	state=M T=2147483647, 63.000000 s remaining
 --> M (configured as T2147483647 64 s) rc=0;	state=M T=2147483647, 64.000000 s remaining
 --> M (configured as T2147483647 126 s) rc=0;	state=M T=2147483647, 126.000000 s remaining
 --> M (configured as T2147483647 127 s) rc=0;	state=M T=2147483647, 127.000000 s remaining
 --> M (configured as T2147483647 128 s) rc=0;	state=M T=2147483647, 128.000000 s remaining
 --> M (configured as T2147483647 254 s) rc=0;	state=M T=2147483647, 254.000000 s remaining
 --> M (configured as T2147483647 255 s) rc=0;	state=M T=2147483647, 255.000000 s remaining
 --> M (configured as T2147483647 256 s) rc=0;	state=M T=2147483647, 256.000000 s remaining
 --> M (configured as T2147483647 510 s) rc=0;	state=M T=2147483647, 510.000000 s remaining
 --> M (configured as T2147483647 511 s) rc=0;	state=M T=2147483647, 511.000000 s remaining
 --> M (configured as T2147483647 512 s) rc=0;	state=M T=2147483647, 512.000000 s remaining
 --> M (configured as T2147483647 1022 s) rc=0;	state=M T=2147483647, 1022.000000 s remaining
 --> M (configured as T2147483647 1023 s) rc=0;	state=M T=2147483647, 1023.000000 s remaining
 --> M (configured as T2147483647 1024 s) rc=0;	state=M T=2147483647, 1024.000000 s remaining
 --> M (configured as T2147483647 2046 s) rc=0;	state=M T=2147483647, 2046.000000 s remaining
 --> M (configured as T2147483647 2047 s) rc=0;	state=M T=2147483647, 2047.000000 s remaining
 --> M (configured as T2147483647 2048 s) rc=0;	state=M T=2147483647, 2048.000000 s remaining
 --> M (configured as T2147483647 4094 s) rc=0;	state=M T=2147483647, 4094.000000 s remaining
 --> M (configured as T2147483647 4095 s) rc=0;	state=M T=2147483647, 4095.000000 s remaining
 --> M (configured as T2147483647 4096 s) rc=0;	state=M T=2147483647, 4096.000000 s remaining
 --> M (configured as T2147483647 8190 s) rc=0;	state=M T=2147483647, 8190.000000 s remaining
 --> M (configured as T2147483647 8191 s) rc=0;	state=M T=2147483647, 8191.000000 s remaining
 --> M (configured as T2147483647 8192 s) rc=0;	state=M T=2147483647, 8192.000000 s remaining
 --> M (configured as T2147483647 16382 s) rc=0;	state=M T=2147483647, 16382.000000 s remaining
 --> M (configured as T2147483647 16383 s) rc=0;	state=M T=2147483647, 16383.000000 s remaining
 --> M (configured as T2147483647 16384 s) rc=0;	state=M T=2147483647, 16384.000000 s remaining
--- int32_t max ---
 --> M (configured as T2147483647 32766 s) rc=0;	state=M T=2147483647, 32766.000000 s remaining
 --> M (configured as T2147483647 32767 s) rc=0;	state=M T=2147483647, 32767.000000 s remaining
 --> M (configured as T2147483647 32768 s) rc=0;	state=M T=2147483647, 32768.000000 s remaining
--- uint32_t max ---
 --> M (configured as T2147483647 65534 s) rc=0;	state=M T=2147483647, 65534.000000 s remaining
 --> M (configured as T2147483647 65535 s) rc=0;	state=M T=2147483647, 65535.000000 s remaining
 --> M (configured as T2147483647 65536 s) rc=0;	state=M T=2147483647, 65536.000000 s remaining
 --> M (configured as T2147483647 131070 s) rc=0;	state=M T=2147483647, 131070.000000 s remaining
 --> M (configured as T2147483647 131071 s) rc=0;	state=M T=2147483647, 131071.000000 s remaining
 --> M (configured as T2147483647 131072 s) rc=0;	state=M T=2147483647, 131072.000000 s remaining
 --> M (configured as T2147483647 262142 s) rc=0;	state=M T=2147483647, 262142.000000 s remaining
 --> M (configured as T2147483647 262143 s) rc=0;	state=M T=2147483647, 262143.000000 s remaining
 --> M (configured as T2147483647 262144 s) rc=0;	state=M T=2147483647, 262144.000000 s remaining
 --> M (configured as T2147483647 524286 s) rc=0;	state=M T=2147483647, 524286.000000 s remaining
 --> M (configured as T2147483647 524287 s) rc=0;	state=M T=2147483647, 524287.000000 s remaining
 --> M (configured as T2147483647 524288 s) rc=0;	state=M T=2147483647, 524288.000000 s remaining
 --> M (configured as T2147483647 1048574 s) rc=0;	state=M T=2147483647, 1048574.000000 s remaining
 --> M (configured as T2147483647 1048575 s) rc=0;	state=M T=2147483647, 1048575.000000 s remaining
 --> M (configured as T2147483647 1048576 s) rc=0;	state=M T=2147483647, 1048576.000000 s remaining
 --> M (configured as T2147483647 2097150 s) rc=0;	state=M T=2147483647, 2097150.000000 s remaining
 --> M (configured as T2147483647 2097151 s) rc=0;	state=M T=2147483647, 2097151.000000 s remaining
 --> M (configured as T2147483647 2097152 s) rc=0;	state=M T=2147483647, 2097152.000000 s remaining
 --> M (configured as T2147483647 4194302 s) rc=0;	state=M T=2147483647, 4194302.000000 s remaining
 --> M (configured as T2147483647 4194303 s) rc=0;	state=M T=2147483647, 4194303.000000 s remaining
 --> M (configured as T2147483647 4194304 s) rc=0;	state=M T=2147483647, 4194304.000000 s remaining
 --> M (configured as T2147483647 8388606 s) rc=0;	state=M T=2147483647, 8388606.000000 s remaining
 --> M (configured as T2147483647 8388607 s) rc=0;	state=M T=2147483647, 8388607.000000 s remaining
 --> M (configured as T2147483647 8388608 s) rc=0;	state=M T=2147483647, 8388608.000000 s remaining
 --> M (configured as T2147483647 16777214 s) rc=0;	state=M T=2147483647, 16777214.000000 s remaining
 --> M (configured as T2147483647 16777215 s) rc=0;	state=M T=2147483647, 16777215.000000 s remaining
 --> M (configured as T2147483647 16777216 s) rc=0;	state=M T=2147483647, 16777216.000000 s remaining
 --> M (configured as T2147483647 33554430 s) rc=0;	state=M T=2147483647, 33554430.000000 s remaining
 --> M (configured as T2147483647 33554431 s) rc=0;	state=M T=2147483647, 33554431.000000 s remaining
 --> M (configured as T2147483647 33554432 s) rc=0;	state=M T=2147483647, 33554432.000000 s remaining
 --> M (configured as T2147483647 67108862 s) rc=0;	state=M T=2147483647, 67108862.000000 s remaining
 --> M (configured as T2147483647 67108863 s) rc=0;	state=M T=2147483647, 67108863.000000 s remaining
 --> M (configured as T2147483647 67108864 s) rc=0;	state=M T=2147483647, 67108864.000000 s remaining
 --> M (configured as T2147483647 134217726 s) rc=0;	state=M T=2147483647, 134217726.000000 s remaining
 --> M (configured as T2147483647 134217727 s) rc=0;	state=M T=2147483647, 134217727.000000 s remaining
 --> M (configured as T2147483647 134217728 s) rc=0;	state=M T=2147483647, 134217728.000000 s remaining
 --> M (configured as T2147483647 268435454 s) rc=0;	state=M T=2147483647, 268435454.000000 s remaining
 --> M (configured as T2147483647 268435455 s) rc=0;	state=M T=2147483647, 268435455.000000 s remaining
 --> M (configured as T2147483647 268435456 s) rc=0;	state=M T=2147483647, 268435456.000000 s remaining
 --> M (configured as T2147483647 536870910 s) rc=0;	state=M T=2147483647, 536870910.000000 s remaining
 --> M (configured as T2147483647 536870911 s) rc=0;	state=M T=2147483647, 536870911.000000 s remaining
 --> M (configured as T2147483647 536870912 s) rc=0;	state=M T=2147483647, 536870912.000000 s remaining
 --> M (configured as T2147483647 1073741822 s) rc=0;	state=M T=2147483647, 1073741822.000000 s remaining
 --> M (configured as T2147483647 1073741823 s) rc=0;	state=M T=2147483647, 1073741823.000000 s remaining
 --> M (configured as T2147483647 1073741824 s) rc=0;	state=M T=2147483647, 1073741824.000000 s remaining
--- int64_t max ---
 --> M (configured as T2147483647 2147483646 s) rc=0;	state=M T=2147483647, 2147483646.000000 s remaining
 --> M (configured as T2147483647 2147483647 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2147483648 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
--- uint64_t max ---
 --> M (configured as T2147483647 4294967294 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4294967295 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4294967296 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934590 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934591 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8589934592 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869182 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869183 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17179869184 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738366 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738367 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 34359738368 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476734 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476735 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 68719476736 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953470 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953471 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 137438953472 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906942 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906943 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 274877906944 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813886 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813887 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 549755813888 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627774 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627775 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1099511627776 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255550 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255551 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2199023255552 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511102 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511103 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4398046511104 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022206 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022207 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 8796093022208 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044414 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044415 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 17592186044416 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088830 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088831 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 35184372088832 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177662 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177663 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 70368744177664 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355326 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355327 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 140737488355328 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710654 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710655 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 281474976710656 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421310 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421311 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 562949953421312 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842622 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842623 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1125899906842624 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685246 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685247 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2251799813685248 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370494 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370495 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4503599627370496 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740990 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740991 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9007199254740992 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481982 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481983 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18014398509481984 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963966 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963967 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 36028797018963968 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927934 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927935 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 72057594037927936 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855870 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855871 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 144115188075855872 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711742 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711743 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 288230376151711744 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423486 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423487 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 576460752303423488 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846974 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846975 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 1152921504606846976 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693950 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693951 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 2305843009213693952 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387902 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387903 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 4611686018427387904 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775806 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775807 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 9223372036854775808 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18446744073709551614 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 18446744073709551615 s) rc=0;	state=M T=2147483647, 2147483647.000000 s remaining
 --> M (configured as T2147483647 0 s) rc=0;	state=M T=2147483647, no timeout
- test disallowed transition:
 --> Z (no timer configured for this state) rc=0;	state=Z T=0, no timeout
 --> B (configured as T2 100 ms) rc=-1;	state=Z T=0, no timeout
 --> C (configured as T3 100 m) rc=-1;	state=Z T=0, no timeout
 --> D (configured as T4 100 custom-unit) rc=-1;	state=Z T=0, no timeout