Fix CVC4 solver socket handling of newlines #3042
Fixes #1656
Artifacts
- 27. May 2023 17:57 (8001.96 kB large)
- 25. Apr 2023 09:44 (7946.57 kB large)
- 18. Apr 2023 08:43 (3698.78 kB large)
- 03. Apr 2023 12:06 (4431.71 kB large)
- 03. Mar 2023 15:57 (3379.74 kB large)
- 03. Mar 2023 10:17 (3406.69 kB large)
- 22. Feb 2023 16:46 (3406.62 kB large)