search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Froze a dependency related to django #121

Closed andronat closed 5 years ago

andronat commented 6 years ago

:tada: @ccadar. Merge this at your discretion.

ccadar commented 6 years ago

This LGTM, thanks, @andronat . Can I just ask why you added the --ignore=E722 option?

ccadar commented 5 years ago

@andronat I assume we still want to merge this? I thought a comment about --ignore=E722 would be useful, otherwise, we could merge it, unless newer PRs supersede this.

andronat commented 5 years ago

i'll check this asap and how it interacts with the other PRs.