Do not stop reading solver's output after it terminated

This commit is contained in:
Martin Blicha 2023-08-12 20:53:00 +02:00
parent 8e0e2cb1ae
commit b6326f4d4d

View File

@ -73,7 +73,7 @@ ReadCallback::Result SMTSolverCommand::solve(std::string const& _kind, std::stri
std::vector<std::string> data;
std::string line;
while (solver.running() && std::getline(out, line))
while (std::getline(out, line))
if (!line.empty())
data.push_back(line);