Allow multiple command line options

klee / klee-web

KLEE in the browser

Other

48 stars 15 forks source link

Allow multiple command line options #217

Open edmcman opened 2 weeks ago

edmcman commented 2 weeks ago

Attempt to fix #216

edmcman commented 2 weeks ago

Untested, but probably works.

ccadar commented 2 weeks ago

Thanks, @edmcman, I also think this probably works, but with the project unmaintained, I would wait to merge this PR -- we should first get the CI working again first, as well as a better way to deploy KLEE-Web (merging this PR will not automatically update the website).