Skip to content

Fix a memory leak during fsm_determinise_with_config's early exit #1247

Fix a memory leak during fsm_determinise_with_config's early exit

Fix a memory leak during fsm_determinise_with_config's early exit #1247

Job Run time
5s
21s
25s
22s
23s
22s
29s
40s
22s
1m 4s
30s
31s
33s
20s
27s
39s
18s
39s
26s
34s
7s
1m 3s
9s
1m 2s
1m 12s
23s
27s
1m 18s
26s
1m 0s
1m 35s
26s
33s
1m 15s
44s
40s
1m 26s
42s
1m 12s
42s
19s
21s
33s
36s
15s
22s
3s
3s
24s
39s
2m 20s
41s
50s
51s
44s
43s
4s
13s
31s
43s
2m 11s
39s
58s
46s
51s
37s
3s
5s
13s
22s
2m 27s
26s
32s
36s
32s
48s
8s
8s
12s
21s
2m 14s
24s
29s
38s
50s
39s
12s
6s
26s
41s
2m 29s
41s
58s
46s
47s
38s
5s
7s
23s
37s
2m 11s
43s
45s
44s
1m 24s
41s
4s
8s
12s
19s
2m 20s
22s
29s
35s
31s
37s
7s
8s
11s
22s
2m 20s
20s
33s
38s
30s
36s
20s
19s
59s
1m 3s
2m 21s
55s
14s
1m 14s
8s
1m 3s
8s
55s
19s
47s
7s
15s
12s
19s
38s
13s
49s
2m 26s
55s
1m 9s
1m 28s
1m 0s
1m 7s
15s
39s
16s
27s
2m 16s
31s
33s
42s
45s
40s
31s
11s
16s
22s
2m 17s
24s
31s
35s
41s
58s
1h 57m 15s