Cristian Cadar

I have added this to the list of possible extensions: https://github.com/klee/klee/projects/4

I think we can close this, but feel free to open a PR to create an additional Docker image, as @MartinNowack also mentioned.

@tkuchta I've recently run into a similar example and @danielschemmel was able to quickly spot the issue. Try replacing your `int` index by a `size_t` and you should see a...

Closing this old issue, please reopen if needed.

I think we can close this issue now.

@MartinNowack any reason not to merge this? We receive regular inquiries about this, most recently on klee-dev.

@MartinNowack I know this is not a priority, and from what I understand you don't plan to revive it. So let's close it. I added it to the list of...

Hi @MartinNowack, thanks for this patch and sorry for the delay. However, this patch is not straightforward at all, despite its small size. As I said, to me the straightforward...

Thanks, @MartinNowack , great changes. Only a few minor issues left, see comments. The only bigger request, if feasible, would be for a test case demonstrating the bug you fixed.

Thanks, @MartinNowack, let's merge this one for v3.1, and keep in mind my remaining comments for future work involving external calls.