search

klee / klee-web

KLEE in the browser
Other
48 stars 15 forks source link

Rework e2e tests #144

Closed andronat closed 4 years ago

ccadar commented 4 years ago

Thanks, @andronat , this looks good overall, ping me when it's finalized.

andronat commented 4 years ago

This is ready now. Feel free to merge.

ccadar commented 4 years ago

@andronat can you explain why you had to disable those tests? How soon will you be able to re-enable them?

andronat commented 4 years ago

The python tests are tightly coupled with the kleeweb-worker code base. I wanted to extract the e2e tests in a different docker container in order to contain the complexity. I'm reenabling them in the PR which is coming after #146.

ccadar commented 4 years ago

@andronat sounds good, just don't forget about them! Thank again for the nice changes!

andronat commented 4 years ago

I won’t. I written some new ones too. I want them in 😂