search

model-checking / kani-vscode-extension

Kani VSCode Extension
https://marketplace.visualstudio.com/items?itemName=model-checking.kani-vscode-extension
Apache License 2.0
14 stars 10 forks source link

Add end to end testing #17

Open jaisnan opened 1 year ago

jaisnan commented 1 year ago

Requested feature: Development time is impacted by having to manually test the extension under multiple contexts and running the proofs. While automating the entire process and running the proofs is not possible, certain parts of the current test suite can be improved and added to the regression/CI as well.

jaisnan commented 1 year ago

I think 1-2 end-to-end tests should cover a lot of code given how connected modules are to each other.

jaisnan commented 1 year ago

One potential fix is to use something like selenium-electron to simulate user actions entirely.