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 ...
Now when exporting the logs fails because it is not possible to connect to the collector, we end up in an infinite loop type situation. This is caused by the mixin here: ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback