From b6326f4d4dd174d144cbb66c4aa9027997d10c4b Mon Sep 17 00:00:00 2001 From: Martin Blicha Date: Sat, 12 Aug 2023 20:53:00 +0200 Subject: [PATCH] Do not stop reading solver's output after it terminated --- libsolidity/interface/SMTSolverCommand.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libsolidity/interface/SMTSolverCommand.cpp b/libsolidity/interface/SMTSolverCommand.cpp index 7602bd729..07e17e77c 100644 --- a/libsolidity/interface/SMTSolverCommand.cpp +++ b/libsolidity/interface/SMTSolverCommand.cpp @@ -73,7 +73,7 @@ ReadCallback::Result SMTSolverCommand::solve(std::string const& _kind, std::stri std::vector data; std::string line; - while (solver.running() && std::getline(out, line)) + while (std::getline(out, line)) if (!line.empty()) data.push_back(line);