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.

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

crucible: online solver backend does not always gracefully handle the solver process being killed #1159

Open
danmatichuk opened this issue Dec 18, 2023 · 0 comments
Labels

Comments

@danmatichuk
Copy link
Contributor

In Lang.Crucible.Backend.Online interactions with the solver process are generally guarded with exception handlers in order to ensure that the solver process is transparently restarted when necessary. However, in some cases closing the IO channel will raise an IO exception despite being wrapped in maybe (i.e. maybe (return ()) hClose auxh). This can potentially get the online solver into an inconsistent state, or get higher-level tools into an inconsistent state.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants