Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Run the integration tests in a single process to detect usages of static state #3066

Open
keyboardDrummer opened this issue Nov 17, 2022 · 1 comment
Open

Run the integration tests in a single process to detect usages of static state #3066

keyboardDrummer opened this issue Nov 17, 2022 · 1 comment
Assignees
@keyboardDrummer
Labels
kind: language development speed Slows down development of Dafny the language, flaky tests

Comments

@keyboardDrummer
Copy link
Member

keyboardDrummer commented Nov 17, 2022 •
edited
Loading

The language server runs compilation multiple times using a single process. To test that such repeated executions in a single process work well together, it would be good to also do this while running integration tests.

Related issue: #2945

Issue to help with CI problem: microsoft/vstest#4376 (comment)
@keyboardDrummer keyboardDrummer added kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label priority: next Will consider working on this after in progress work is done labels Nov 17, 2022
@keyboardDrummer keyboardDrummer self-assigned this Mar 7, 2023
@keyboardDrummer
Copy link
Member Author

Partially completed with #3715

@keyboardDrummer keyboardDrummer added kind: language development speed Slows down development of Dafny the language, flaky tests and removed priority: next Will consider working on this after in progress work is done kind: bug Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label labels Apr 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@keyboardDrummer keyboardDrummer

Labels
kind: language development speed Slows down development of Dafny the language, flaky tests
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@keyboardDrummer