Method onFinished

MiniZincIDE/codechecker.cpp:74–77

}

void CodeChecker::onFinished()
{
    emit finished(mznErrors);
}