search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

KLEE Web Error Running clang on vanilla example #163

Closed hMihaiDavid closed 3 years ago

hMihaiDavid commented 3 years ago

Prob. should have posted here. https://github.com/klee/klee/issues/1345

ccadar commented 3 years ago

@hMihaiDavid thanks for reporting this. I think something else is at fault here, the command line looks fine for this small example. Unfortunately, this project doesn't have an active maintainer currently (although @andronat has done an excellent job in the last year keeping the project alive), so if you or anyone else would like to help, let us know.

ccadar commented 3 years ago

This was now fixed by @andronat, many thanks!