-
Vivien Kraus authored
The function was huge. This was not a good idea because frama-c could not say anything. I do not know if it will be better for frama-c, but I can tell you it is more readable that way.
20412d40
The function was huge. This was not a good idea because frama-c could not say anything. I do not know if it will be better for frama-c, but I can tell you it is more readable that way.