-
Notifications
You must be signed in to change notification settings - Fork 11
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.
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
Fix Test Abort Process Check #417
Comments
Adding delay before the check seems to solve the problems on Ubuntu and Mac, but the error still occurs on Windows |
I have seen other tests which also check for processes fail in the wild, especially for Mac. Rerunning usually passes, so the problem seems less severe than for this test. |
This was referenced Mar 27, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The test for aborting verification in 1_ide.test.ts should have a check that the Boogie and Z3 processes have ended after aborting. Sometimes however theses processes do not go away fast enough, causing the test to fail. This occurs especially on Mac and Windows.
As a temporary measure, we have commented out the check of the processes. We should figure out why this is happening and fix it.
The text was updated successfully, but these errors were encountered: