Skip to content

Fix solver.ex crash on Windows#162

Open
edderiofer wants to merge 1 commit intoEpicOrange:mainfrom
edderiofer:windows-z3-solver
Open

Fix solver.ex crash on Windows#162
edderiofer wants to merge 1 commit intoEpicOrange:mainfrom
edderiofer:windows-z3-solver

Conversation

@edderiofer
Copy link
Copy Markdown
Collaborator

This PR should fix a crash regarding solver.ex on Windows.

I'm hesitant to push directly, because I don't know if this change will break solver.ex on Linux (and because I haven't thoroughly tested to see if it fixes all Windows crashes). Would like some testing before this is accepted.

@edderiofer edderiofer closed this Mar 18, 2026
@edderiofer edderiofer deleted the windows-z3-solver branch March 18, 2026 18:56
@edderiofer edderiofer restored the windows-z3-solver branch March 18, 2026 18:56
@edderiofer edderiofer reopened this Mar 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant