ESBMC enters an infinite loop when verifying basic Python string concatenation operations. I think that should be the inconsistence of Python to C format problem. Strlen in C could use \0 to check ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback