Method testProject105Good

tests/testproject.cpp:49–64

}

void TestIDE::testProject105Good()
{
    TestMocker mock(QString(MINIZINC_IDE_PATH) + "/data/project/project-105-good.mzp");
    MainWindow* w = mock.mw();
    QVERIFY(w->currentModelFile().endsWith("model1.mzn"));
    QCOMPARE(w->codeEditors().size(), 2);
    QCOMPARE(w->getProject().modelFiles().size(), 2);
    QCOMPARE(w->getProject().dataFiles().size(), 2);

    QTimer::singleShot(200, this, [=] () {
        auto* message = qobject_cast<QMessageBox*>(QApplication::activeModalWidget());
        QVERIFY(message!= nullptr);
        QVERIFY(message->text().startsWith("There are modified solver configurations"));
        message->accept();
    });
}

void TestIDE::testProject105Bad()
{