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.