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?
Repo: https://github.com/marco6/klee
Thank you very much!