Commit b2fb9e1b authored by phlo's avatar phlo

fixed parsing of exit-code in CVC4 models

parent ba475d45
......@@ -85,7 +85,9 @@ inline word_t parse_bv (std::istringstream & line, std::string & token)
CVC4::Symbol CVC4::parse (std::istringstream & line)
{
std::string token;
Symbol sym = symbol(line);
line >> token;
std::istringstream iss(token);
Symbol sym = symbol(iss);
if (!std::getline(line, token, '='))
throw std::runtime_error("missing value");
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment