Call for testing: klee

Hi all! Yesterday I was trying to use klee and saw that there’s no package available for Debian/Ubuntu.

So I thought: why don’t I build a snap for it?

They are already distributing a Docker image, but I really think Snaps are a better fit here as there’s no need to do any bind-mounting.

It seems like it’s “working on my machine™”, but would you care to help me find any bugs in it?


Thank you very much! :slight_smile: