Can't pass multiple options?

[edmcman]

Trying to pass -posix-runtime -search=bfs -max-depth=10 as options results in:

Error running /home/klee/klee_build/bin/klee -posix-runtime -search=bfs -max-depth=10 /tmp/code/code.o:
klee: Unknown command line argument '-posix-runtime -search=bfs -max-depth=10'.  Try: '/home/klee/klee_build/bin/klee -help'
klee: Did you mean '-posix-runtime=bfs -max-depth=10'?

It seems like the string is being passed as a single argument to klee, even if it contains spaces.

[ccadar]

That's indeed a bug. Unfortunately, the project is currently unmaintained.

If anyone would like to contribute to the project, let me know.

[edmcman]

I made a PR. Given the simplicity, I think it probably works, but I don't have enough energy to create a local testing environment.