Can't pass multiple options?

klee / klee-web

KLEE in the browser

Other

48 stars 15 forks source link

Can't pass multiple options? #216

Open edmcman opened 2 weeks ago

edmcman commented 2 weeks ago

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 commented 2 weeks ago

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

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

edmcman commented 2 weeks ago

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.