Bug hunting; Detect internal error and throw exception

This commit is contained in:
Daniel Marjamäki 2020-07-14 10:25:00 +02:00
parent 6030ab72ab
commit fe324aea49
1 changed files with 2 additions and 0 deletions

View File

@ -716,6 +716,8 @@ namespace {
const std::string c = line.substr(pos, end-pos);
pos = end;
d.constraints.push_back(c);
} else {
throw ExprEngineException(nullptr, "Internal Error: Data::parsestr(), line:" + line);
}
}
importData->push_back(d);