Can't pass multiple options? #216
Description
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.