Function innerSmtString

lib/checkcondition.cpp:854–862

}

static std::string innerSmtString(const Token * tok)
{
    if (!tok)
        return "if";
    const Token * top = tok->astTop();
    if (top->str() == "(" && top->astOperand1())
        return top->astOperand1()->str();
    return top->str();
}

void CheckConditionImpl::oppositeInnerConditionError(const Token *tok1, const Token* tok2, ErrorPath errorPath)
{