Public web-hosted instance (http://klee.doc.ic.ac.uk) returns "502 Bad Gateway"

klee / klee-web

KLEE in the browser

Other

50 stars 15 forks source link

Closed i-ky closed 7 months ago

i-ky commented 7 months ago

I don't know if the issue is temporary or persistent, but either it should be fixed or the link should be removed from README and website.

ccadar commented 7 months ago

@i-ky, thanks for reporting this, it has now been solved.