klee / klee-web

KLEE in the browser
Other
48 stars 15 forks source link

Improve tests #133

Closed Denis-Gavrielov closed 4 years ago

Denis-Gavrielov commented 4 years ago

As requested, this is a PR before the CI update which addresses some minor and independent improvements.

Denis-Gavrielov commented 4 years ago

@andronat I have now changed the layout so the e2e tests can be run from their own ansible playbook. This will already be used in the Circle CI branch accordingly.