search

klee / klee-web

KLEE in the browser
Other
48 stars 15 forks source link

Reworked kleeweb worker #147

Closed andronat closed 4 years ago

andronat commented 4 years ago

Re-introduced python e2e tests. I also added flake8 during build time.

Depends on #146

ccadar commented 4 years ago

Thanks @andronat , just rebase.

andronat commented 4 years ago

@ccadar This is ready.

ccadar commented 4 years ago

Thanks, @andronat and sorry for the delay.