Method procFinished

MiniZincIDE/mainwindow.cpp:1399–1403

}

void MainWindow::procFinished(int exitCode, qint64 time) {
    procFinished(exitCode);
    QString elapsedTime = setElapsedTime(time);
    ui->statusbar->clearMessage();
}

void MainWindow::procFinished(int exitCode) {
    updateUiProcessRunning(false);