tests: Remove old fuzzer

Not worth maintaining, as the layouting code is mature now.
Was useful when we had flaky code for layouting, but that has since
been rewritten.

Reducing maintenance burden.

CMakeLists.txt

@@ -63,11 +63,6 @@
 #  Build the layout linter.
 #  Ignored unless KDDockWidgets_DEVELOPER_MODE=True
 #  Default=true
-#
-# -DKDDockWidgets_FUZZER=[true|false]
-#  Build the fuzzer.
-#  Ignored unless KDDockWidgets_DEVELOPER_MODE=True
-#  Default=true
 
 cmake_minimum_required(VERSION 3.12)
 

CMakePresets.json

@@ -9,8 +9,7 @@
             "cacheVariables": {
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
-                "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON",
+                "CMAKE_EXPORT_COMPILE_COMMANDS": "ON"
-                "KDDockWidgets_FUZZER" : "OFF"
             },
             "warnings": {
                 "uninitialized": true
@@ -26,7 +25,6 @@
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "CMAKE_EXPORT_COMPILE_COMMANDS": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "ECM_ENABLE_SANITIZERS": "'address;undefined'"
             },
             "warnings": {
@@ -103,8 +101,7 @@
                 "KDDockWidgets_QTQUICK": "ON",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "ECM_ENABLE_SANITIZERS": "'address;undefined'",
-                "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON",
+                "CMAKE_EXPORT_COMPILE_COMMANDS": "ON"
-                "KDDockWidgets_FUZZER" : "OFF"
             }
         },
         {
@@ -173,7 +170,6 @@
                 "KDDockWidgets_QT6": "ON",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "CMAKE_EXPORT_COMPILE_COMMANDS": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "CMAKE_PREFIX_PATH": "$env{QT6_DIR}"
             },
             "environment": {
@@ -191,7 +187,6 @@
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "CMAKE_EXPORT_COMPILE_COMMANDS": "ON",
                 "ECM_ENABLE_SANITIZERS": "'address;undefined'",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "CMAKE_PREFIX_PATH": "$env{QT6_DIR}"
             },
             "environment": {
@@ -241,8 +236,7 @@
             "cacheVariables": {
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
-                "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON",
+                "CMAKE_EXPORT_COMPILE_COMMANDS": "ON"
-                "KDDockWidgets_FUZZER" : "ON"
             },
             "warnings": {
                 "uninitialized": true
@@ -260,7 +254,6 @@
             "cacheVariables": {
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "KDDockWidgets_QTQUICK": "ON"
             },
             "warnings": {
@@ -279,7 +272,6 @@
             "cacheVariables": {
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
-                "KDDockWidgets_FUZZER" : "ON",
                 "KDDockWidgets_QT6": "ON",
                 "CMAKE_PREFIX_PATH": "$env{QT6_DIR}"
             },
@@ -300,7 +292,6 @@
             "cacheVariables": {
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "KDDockWidgets_QTQUICK": "ON",
                 "KDDockWidgets_QT6": "ON",
                 "CMAKE_PREFIX_PATH": "$env{QT6_DIR}"
@@ -325,7 +316,6 @@
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "CMAKE_EXPORT_COMPILE_COMMANDS": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "CMAKE_C_FLAGS_INIT": "-ftime-trace",
                 "CMAKE_CXX_FLAGS_INIT": "-ftime-trace"
             },
@@ -347,7 +337,6 @@
                 "CMAKE_BUILD_TYPE": "Debug",
                 "KDDockWidgets_DEVELOPER_MODE": "ON",
                 "CMAKE_EXPORT_COMPILE_COMMANDS": "ON",
-                "KDDockWidgets_FUZZER" : "OFF",
                 "KDDockWidgets_QT6": "ON",
                 "CMAKE_C_FLAGS_INIT": "-ftime-trace",
                 "CMAKE_CXX_FLAGS_INIT": "-ftime-trace"
@@ -459,17 +448,23 @@
         },
         {
             "name": "ci-static",
-            "inherits":["static"],
+            "inherits": [
+                "static"
+            ],
             "binaryDir": "${sourceDir}/build-ci-static"
         },
         {
             "name": "ci-static-qtquick",
-            "inherits":["static-qtquick"],
+            "inherits": [
+                "static-qtquick"
+            ],
             "binaryDir": "${sourceDir}/build-ci-static-qtquick"
         },
         {
             "name": "ci-python",
-            "inherits":["python"],
+            "inherits": [
+                "python"
+            ],
             "binaryDir": "${sourceDir}/build-python"
         }
     ],

README.md

@@ -62,7 +62,6 @@ creative with their requests, so it was clear we needed a better docking framewo
 - Clean codebase
   - Not mixing GUI with state with logic with animations
   - Great test coverage, even the GUI and DnD operations are tested. 200 tests currently.
-  - Fuzzer for doing random testing and finding bugs
 - Lazy separator resize
 - Reordering tabs with mouse
 - Partial layout save/restore, affecting only a chosen sub-set

src/private/DockRegistry_p.h

@@ -173,7 +173,7 @@ public:
      *
      * @param dumpDebug If true then each layout is dumped too
      *
-     * This is called by the unit-tests or the fuzzer. If during this the framework spits a
+     * This is called by the unit-tests. If during this the framework spits a
      * qWarning() then the app will qFatal()
      */
     void checkSanityAll(bool dumpDebug = false);

tests/CMakeLists.txt

@@ -29,8 +29,6 @@ add_definitions(-DQT_NO_KEYWORDS)
 
 set(TESTING_SRCS utils.cpp Testing.cpp)
 
-option(KDDockWidgets_FUZZER "Builds the fuzzer" ON)
-
 # tst_docks
 set(TESTING_RESOURCES ${CMAKE_CURRENT_SOURCE_DIR}/test_resources.qrc)
 add_executable(
@@ -46,9 +44,6 @@ if(NOT ${PROJECT_NAME}_QTQUICK)
     add_executable(tst_multisplitter tst_multisplitter.cpp)
     target_link_libraries(tst_multisplitter kddockwidgets Qt${Qt_VERSION_MAJOR}::Test)
     set_compiler_flags(tst_multisplitter)
-    if(KDDockWidgets_FUZZER)
-        add_subdirectory(fuzzer)
-    endif()
 endif()
 
 # tests_launcher

tests/fuzzer/CMakeLists.txt

@@ -1,21 +0,0 @@
-#
-# This file is part of KDDockWidgets.
-#
-# SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-# Author: Sergio Martins <sergio.martins@kdab.com>
-#
-# SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-#
-# Contact KDAB at <info@kdab.com> for commercial licensing options.
-#
-
-add_executable(
-    fuzzer
-    ../Testing.cpp Fuzzer.cpp main.cpp Operations.cpp
-)
-
-set_property(TARGET fuzzer PROPERTY CXX_STANDARD 17)
-target_link_libraries(
-    fuzzer kddockwidgets Qt${Qt_VERSION_MAJOR}::Widgets Qt${Qt_VERSION_MAJOR}::Test
-)
-set_compiler_flags(fuzzer)

tests/fuzzer/Fuzzer.cpp

@@ -1,404 +0,0 @@
-/*
-  This file is part of KDDockWidgets.
-
-  SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-  Author: Sérgio Martins <sergio.martins@kdab.com>
-
-  SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-
-  Contact KDAB at <info@kdab.com> for commercial licensing options.
-*/
-
-// We don't care about performance related checks in the tests
-// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations
-
-#include "Fuzzer.h"
-#include "DockRegistry_p.h"
-#include "DockWidget.h"
-#include "MainWindow.h"
-#include "FloatingWindow_p.h"
-
-#include <QJsonDocument>
-
-#include <QString>
-#include <QTest>
-
-using namespace KDDockWidgets;
-using namespace KDDockWidgets::Testing;
-using namespace KDDockWidgets::Testing::Operations;
-
-#define OPERATIONS_PER_TEST 200
-
-static MainWindow *createMainWindow(const Fuzzer::MainWindowDescriptor &mwd)
-{
-    auto mainWindow = new MainWindow(mwd.name, mwd.mainWindowOption);
-
-    mainWindow->setGeometry(mwd.geometry);
-
-    mainWindow->show();
-    return mainWindow;
-}
-
-static DockWidget *createDockWidget(const Fuzzer::DockWidgetDescriptor &dwd)
-{
-    auto dockWidget = new DockWidget(dwd.name);
-
-    dockWidget->setWidget(new Testing::HostedWidget(dwd.minSize));
-
-    if (dwd.isFloating)
-        dockWidget->setGeometry(dwd.geometry);
-
-    if (dwd.isVisible)
-        dockWidget->show();
-
-    return dockWidget;
-}
-
-static void createLayout(const Fuzzer::Layout &layout)
-{
-    for (const Fuzzer::MainWindowDescriptor &mwd : layout.mainWindows) {
-        createMainWindow(mwd);
-    }
-
-    for (const Fuzzer::DockWidgetDescriptor &dwd : layout.dockWidgets) {
-        createDockWidget(dwd);
-    }
-}
-
-void Fuzzer::runTest(const Test &test)
-{
-    m_lastSavedLayout.clear();
-    m_currentTest = test;
-
-    if (!DockRegistry::self()->isEmpty())
-        qFatal("There's dock widgets and the start runTest");
-
-    const bool skipsLast = m_options & Option_SkipLast;
-    createLayout(test.initialLayout);
-    int index = 0;
-
-    auto operations = test.operations;
-    auto last = operations.last();
-    if (skipsLast)
-        operations.removeLast();
-
-    for (const auto &op : operations) {
-        index++;
-
-#if 0
-        // Uncomment to set a breakpoint! Check the last good index printed in the terminal
-        if (index == 82) {
-            qDebug() << "About to run the bad guy. Layout:";
-            DockRegistry::self()->checkSanityAll(/*dumpDebug=*/true);
-            qDebug() << "Running the bad guy:";
-        }
-#endif
-        op->execute();
-        if (op->hasParams())
-            qDebug() << "Ran" << op->description() << index;
-        QTest::qWait(m_operationDelayMS);
-        DockRegistry::self()->checkSanityAll();
-    }
-
-    if (skipsLast)
-        qDebug() << "Skipped" << last->toString() << "\n";
-
-    const bool willQuit = !(m_options & Option_NoQuit);
-    if (willQuit) {
-        for (MainWindowBase *mw : DockRegistry::self()->mainwindows())
-            delete mw;
-
-        for (FloatingWindow *fw : DockRegistry::self()->floatingWindows())
-            delete fw;
-
-        for (DockWidgetBase *dw : DockRegistry::self()->dockwidgets())
-            delete dw;
-
-        if (!DockRegistry::self()->isEmpty())
-            qFatal("There's still dock widgets and the end of runTest");
-    }
-}
-
-Fuzzer::Fuzzer(bool dumpJsonOnFailure, Options options, QObject *parent)
-    : QObject(parent)
-    , m_randomEngine(m_randomDevice())
-    , m_dumpJsonOnFailure(dumpJsonOnFailure)
-    , m_options(options)
-{
-    Testing::installFatalMessageHandler();
-    Testing::setWarningObserver(this);
-}
-
-Fuzzer::Layout Fuzzer::generateRandomLayout()
-{
-    // for now we only support 1 main window
-    Fuzzer::Layout layout;
-    Fuzzer::MainWindowDescriptor mainWindow;
-
-    static int count = 0;
-    count++;
-    mainWindow.name = QStringLiteral("MainWindow-%1").arg(count);
-
-    mainWindow.geometry = randomGeometry();
-    mainWindow.mainWindowOption = MainWindowOption_None; // TODO: Maybe test other options
-    layout.mainWindows << mainWindow;
-
-    std::uniform_int_distribution<> numDocksDistrib(1, 10); // TODO: Increase
-    const int numDockWidgets = numDocksDistrib(m_randomEngine);
-    for (int i = 0; i < numDockWidgets; ++i) {
-        layout.dockWidgets << generateRandomDockWidget();
-    }
-
-    return layout;
-}
-
-Fuzzer::DockWidgetDescriptor Fuzzer::generateRandomDockWidget()
-{
-    Fuzzer::DockWidgetDescriptor dwd;
-
-    static int count = 0;
-    count++;
-    dwd.name = QStringLiteral("DockWidget-%1").arg(count);
-    dwd.isFloating = getRandomBool(35);
-    dwd.isVisible = getRandomBool(70);
-
-    std::uniform_int_distribution<> minSizeDistriv(150, 600);
-
-    dwd.minSize.setWidth(minSizeDistriv(m_randomEngine));
-    dwd.minSize.setHeight(minSizeDistriv(m_randomEngine));
-
-    const bool hasMaxSize = getRandomBool(25); // 25% of all dock widgets have a max-size
-    if (hasMaxSize) {
-        std::uniform_int_distribution<> maxSizeDistriv(200, 600);
-        dwd.maxSize.setWidth(dwd.minSize.width() + minSizeDistriv(m_randomEngine));
-        dwd.maxSize.setHeight(dwd.minSize.height() + minSizeDistriv(m_randomEngine));
-    }
-
-    QPoint pos = getRandomPos();
-    std::uniform_int_distribution<> widthDistrib(dwd.minSize.width(), hasMaxSize ? dwd.maxSize.width() : dwd.minSize.width() + 600);
-    std::uniform_int_distribution<> heightDistrib(dwd.minSize.height(), hasMaxSize ? dwd.maxSize.height() : dwd.minSize.height() + 600);
-    dwd.geometry = QRect(pos, QSize(widthDistrib(m_randomEngine), heightDistrib(m_randomEngine)));
-
-    return dwd;
-}
-
-Fuzzer::DockWidgetDescriptor::List Fuzzer::generateRandomDockWidgets(int num)
-{
-    Fuzzer::DockWidgetDescriptor::List dockWidgets;
-    for (int i = 0; i < num; ++i) {
-        dockWidgets << generateRandomDockWidget();
-    }
-    return dockWidgets;
-}
-
-bool Fuzzer::getRandomBool(int truePercentage)
-{
-    std::uniform_int_distribution<> distrib(1, 100);
-    return distrib(m_randomEngine) < truePercentage;
-}
-
-Testing::AddDockWidgetParams Fuzzer::getRandomAddDockWidgetParams()
-{
-    AddDockWidgetParams params;
-
-    if (auto dw = getRandomDockWidget()) {
-        params.dockWidgetName = dw->uniqueName();
-    } else {
-        qWarning() << Q_FUNC_INFO << "No dock widgets exist yet!";
-        return {};
-    }
-
-    if (auto mw = getRandomMainWindow()) {
-        params.mainWindowName = mw->uniqueName();
-    } else {
-        qWarning() << Q_FUNC_INFO << "No main widgets exist yet!";
-        return {};
-    }
-
-    if (getRandomBool()) {
-        if (auto rt = getRandomRelativeTo(params.mainWindow(), params.dockWidget())) {
-            params.relativeToName = rt->uniqueName();
-        }
-    }
-
-    params.location = getRandomLocation();
-    params.addingOption = InitialVisibilityOption::StartVisible; // TODO: Test the other ones
-
-    return params;
-}
-
-MainWindowBase *Fuzzer::getRandomMainWindow()
-{
-    auto windows = DockRegistry::self()->mainwindows();
-    if (windows.isEmpty()) {
-        qWarning() << Q_FUNC_INFO << "No MainWindows exist yet!";
-        return nullptr;
-    }
-
-    return windows.first();
-}
-
-DockWidgetBase *Fuzzer::getRandomDockWidget(const DockWidgetBase::List &excluding)
-{
-    auto docks = DockRegistry::self()->dockwidgets();
-    for (auto dw : excluding)
-        docks.removeOne(dw);
-
-    if (docks.isEmpty())
-        return nullptr;
-
-    std::uniform_int_distribution<> locationDistrib(0, docks.size() - 1);
-    return docks[locationDistrib(m_randomEngine)];
-}
-
-DockWidgetBase *Fuzzer::getRandomRelativeTo(MainWindowBase *mainWindow, DockWidgetBase *excluding)
-{
-    auto docks = DockRegistry::self()->dockwidgets();
-
-    DockWidgetBase::List candidates;
-
-    for (DockWidgetBase *dw : docks) {
-        if (dw != excluding && dw->window() == mainWindow)
-            candidates << dw;
-    }
-
-    if (candidates.isEmpty())
-        return nullptr;
-
-    std::uniform_int_distribution<> locationDistrib(0, candidates.size() - 1);
-    return candidates[locationDistrib(m_randomEngine)];
-}
-
-Location Fuzzer::getRandomLocation()
-{
-    std::uniform_int_distribution<> locationDistrib(1, 4);
-    return Location(locationDistrib(m_randomEngine));
-}
-
-QPoint Fuzzer::getRandomPos()
-{
-    std::uniform_int_distribution<> posDistrib(0, 500);
-    const int x = posDistrib(m_randomEngine);
-    const int y = posDistrib(m_randomEngine);
-    return { x, y };
-}
-
-OperationBase::Ptr Fuzzer::getRandomOperation()
-{
-    std::uniform_int_distribution<> operationDistrib(OperationType_None + 1, OperationType_Count - 1);
-    auto operationType = OperationType(operationDistrib(m_randomEngine));
-
-    return OperationBase::newOperation(this, operationType);
-}
-
-Fuzzer::Test Fuzzer::generateRandomTest()
-{
-    Fuzzer::Test test;
-    test.initialLayout = generateRandomLayout();
-
-    const int numOperationsPerTest = OPERATIONS_PER_TEST;
-    test.operations.reserve(numOperationsPerTest);
-    for (int i = 0; i < numOperationsPerTest; ++i)
-        test.operations << getRandomOperation();
-
-    return test;
-}
-
-Fuzzer::Test::List Fuzzer::generateRandomTests(int num)
-{
-    Fuzzer::Test::List tests;
-
-    for (int i = 0; i < num; ++i) {
-        tests << generateRandomTest();
-    }
-
-    return tests;
-}
-
-void Fuzzer::fuzz(FuzzerConfig config)
-{
-    const Fuzzer::Test::List tests = generateRandomTests(config.numTests);
-    qDebug().noquote() << "Running" << QString("%1 tests...").arg(tests.size());
-
-    for (const auto &test : tests) {
-        runTest(test);
-    }
-}
-
-void Fuzzer::fuzz(const QStringList &jsonFiles)
-{
-    if (jsonFiles.size() > 1 && (m_options & Option_SkipLast)) {
-        qFatal("Use -d only when passing a single json file");
-    }
-
-    for (const QString &jsonFile : jsonFiles)
-        fuzz(jsonFile);
-}
-
-void Fuzzer::fuzz(const QString &jsonFile)
-{
-    m_currentJsonFile = jsonFile;
-    qDebug() << "\n"
-             << Q_FUNC_INFO << jsonFile;
-    QFile file(jsonFile);
-    if (file.open(QIODevice::ReadOnly)) {
-        QJsonDocument doc = QJsonDocument::fromJson(file.readAll());
-        const QVariantMap map = doc.toVariant().toMap();
-        Test test = Test::fromVariantMap(this, map);
-        runTest(test);
-    } else {
-        qWarning() << Q_FUNC_INFO << "Failed to open file" << jsonFile;
-    }
-}
-
-QRect Fuzzer::randomGeometry()
-{
-    std::uniform_int_distribution<> posDistrib(0, 500);
-    std::uniform_int_distribution<> sizeDistrib(700, 1500);
-    const int width = posDistrib(m_randomEngine);
-    const int height = sizeDistrib(m_randomEngine);
-
-    QPoint pos = getRandomPos();
-
-    return QRect(pos, QSize(width, height));
-}
-
-void Fuzzer::onFatal()
-{
-    if (m_dumpJsonOnFailure) {
-        // Tests failed! Let's dump
-        m_currentTest.dumpToJsonFile("fuzzer_dump.json");
-    }
-
-    if (!m_currentJsonFile.isEmpty()) {
-        qDebug() << "failed json: " << m_currentJsonFile;
-    }
-}
-
-void Fuzzer::setDelayBetweenOperations(int delay)
-{
-    m_operationDelayMS = delay;
-}
-
-QByteArray Fuzzer::lastSavedLayout() const
-{
-    return m_lastSavedLayout;
-}
-
-void Fuzzer::setLastSavedLayout(const QByteArray &serialized)
-{
-    m_lastSavedLayout = serialized;
-}
-
-void Fuzzer::Test::dumpToJsonFile(const QString &filename) const
-{
-    const QVariantMap map = toVariantMap();
-    QJsonDocument jsonDoc = QJsonDocument::fromVariant(map);
-    QFile file(filename);
-    if (file.open(QIODevice::WriteOnly)) {
-        file.write(jsonDoc.toJson());
-    } else {
-        qDebug() << Q_FUNC_INFO << "Error opening file";
-    }
-    file.close();
-}

tests/fuzzer/Fuzzer.h

@@ -1,283 +0,0 @@
-/*
-  This file is part of KDDockWidgets.
-
-  SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-  Author: Sérgio Martins <sergio.martins@kdab.com>
-
-  SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-
-  Contact KDAB at <info@kdab.com> for commercial licensing options.
-*/
-
-// We don't care about performance related checks in the tests
-// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations
-
-#ifndef KDDOCKWIDGETS_FUZZER_H
-#define KDDOCKWIDGETS_FUZZER_H
-
-#include "../Testing.h"
-#include "MainWindowBase.h"
-#include "Operations.h"
-
-#include <QJsonDocument>
-#include <QVector>
-
-#include <random>
-
-namespace KDDockWidgets {
-namespace Testing {
-
-static QVariantMap sizeToVariantMap(QSize sz)
-{
-    QVariantMap map;
-    map["width"] = sz.width();
-    map["height"] = sz.height();
-    return map;
-}
-
-static QVariantMap rectToVariantMap(QRect r)
-{
-    QVariantMap map;
-    map["size"] = sizeToVariantMap(r.size());
-    map["x"] = r.x();
-    map["y"] = r.y();
-    return map;
-}
-
-static QSize sizeFromVariantMap(const QVariantMap &map)
-{
-    return { map["width"].toInt(), map["height"].toInt() };
-}
-
-static QRect rectFromVariantMap(const QVariantMap &map)
-{
-    const QSize sz = sizeFromVariantMap(map["size"].toMap());
-    return { map["x"].toInt(), map["y"].toInt(), sz.width(), sz.height() };
-}
-
-class Fuzzer : public QObject, WarningObserver
-{
-    Q_OBJECT
-public:
-    enum Option {
-        Option_None = 0,
-        Option_NoQuit = 1, ///< Don't quit when the tests finish. So we can debug in gammaray
-        Option_SkipLast = 2 ///< Don't execute the last test. Useful when the last one is the failing one and we want to inspect the state prior to crash
-    };
-    Q_DECLARE_FLAGS(Options, Option)
-
-    struct FuzzerConfig
-    {
-        int numTests;
-        int numOperationsPerTest;
-        bool singleMainWindow;
-    };
-
-    struct DockWidgetDescriptor
-    {
-        typedef QVector<DockWidgetDescriptor> List;
-        QString name;
-        QSize minSize; // the minSize of the hosted widget
-        QSize maxSize;
-        QRect geometry;
-        bool isFloating;
-        bool isVisible;
-
-        QVariantMap toVariantMap() const
-        {
-            QVariantMap map;
-            map[QStringLiteral("name")] = name;
-            map[QStringLiteral("minSize")] = sizeToVariantMap(minSize);
-            map[QStringLiteral("maxSize")] = sizeToVariantMap(maxSize);
-            map[QStringLiteral("geometry")] = rectToVariantMap(geometry);
-            map[QStringLiteral("isFloating")] = isFloating;
-            map[QStringLiteral("isVisible")] = isVisible;
-
-            return map;
-        }
-
-        static DockWidgetDescriptor fromVariantMap(const QVariantMap &map)
-        {
-            DockWidgetDescriptor dock;
-
-            dock.name = map["name"].toString();
-            dock.minSize = sizeFromVariantMap(map["minSize"].toMap());
-            dock.maxSize = sizeFromVariantMap(map["maxSize"].toMap());
-            dock.geometry = rectFromVariantMap(map["geometry"].toMap());
-            dock.isFloating = map["isFloating"].toBool();
-            dock.isVisible = map["isVisible"].toBool();
-
-            return dock;
-        }
-    };
-
-    struct MainWindowDescriptor
-    {
-        typedef QVector<MainWindowDescriptor> List;
-        QString name;
-        QRect geometry;
-        MainWindowOption mainWindowOption;
-
-        QVariantMap toVariantMap() const
-        {
-            QVariantMap map;
-            map[QStringLiteral("name")] = name;
-            map[QStringLiteral("geometry")] = rectToVariantMap(geometry);
-            map[QStringLiteral("mainWindowOption")] = mainWindowOption;
-            return map;
-        }
-
-        static MainWindowDescriptor fromVariantMap(const QVariantMap &map)
-        {
-            MainWindowDescriptor mainWindow;
-
-            mainWindow.name = map["name"].toString();
-            mainWindow.mainWindowOption = MainWindowOption(map["mainWindowOption"].toInt());
-            mainWindow.geometry = rectFromVariantMap(map["geometry"].toMap());
-
-            return mainWindow;
-        }
-    };
-
-    struct Layout
-    {
-        typedef QVector<Layout> List;
-        MainWindowDescriptor::List mainWindows;
-        DockWidgetDescriptor::List dockWidgets;
-
-        QVariantMap toVariantMap() const
-        {
-            QVariantList mainWindowsVariant;
-            mainWindowsVariant.reserve(mainWindows.size());
-            for (const auto &mw : mainWindows) {
-                mainWindowsVariant << mw.toVariantMap();
-            }
-
-            QVariantList dockWidgetsVariant;
-            dockWidgetsVariant.reserve(dockWidgets.size());
-            for (const auto &dw : dockWidgets) {
-                dockWidgetsVariant << dw.toVariantMap();
-            }
-
-            QVariantMap map;
-            map[QStringLiteral("mainWindows")] = mainWindowsVariant;
-            map[QStringLiteral("dockWidgets")] = dockWidgetsVariant;
-            return map;
-        }
-
-
-        static Layout fromVariantMap(const QVariantMap &map)
-        {
-            Layout l;
-
-            const QVariantList mainWindows = map["mainWindows"].toList();
-            const QVariantList dockWidgets = map["dockWidgets"].toList();
-
-            l.mainWindows.reserve(mainWindows.size());
-            for (const QVariant &mainwindow : mainWindows)
-                l.mainWindows.push_back(MainWindowDescriptor::fromVariantMap(mainwindow.toMap()));
-
-            l.dockWidgets.reserve(dockWidgets.size());
-            for (const QVariant &dockWidget : dockWidgets)
-                l.dockWidgets.push_back(DockWidgetDescriptor::fromVariantMap(dockWidget.toMap()));
-
-            return l;
-        }
-    };
-
-    struct Test
-    {
-        typedef QVector<Test> List;
-        Layout initialLayout;
-        Operations::OperationBase::List operations;
-
-        void dumpToJsonFile(const QString &filename) const;
-
-        QVariantMap toVariantMap() const
-        {
-            QVariantMap map;
-            map[QStringLiteral("initialLayout")] = initialLayout.toVariantMap();
-
-            QVariantList operationsVariant;
-            operationsVariant.reserve(operations.size());
-            for (const auto &o : operations) {
-                QVariantMap operationVariant = o->toVariantMap();
-                if (operationVariant.isEmpty())
-                    continue;
-
-                operationsVariant << operationVariant;
-            }
-
-            map[QStringLiteral("operations")] = operationsVariant;
-            return map;
-        }
-
-        static Test fromVariantMap(Fuzzer *fuzzer, const QVariantMap &map)
-        {
-            Test t;
-            t.initialLayout = Layout::fromVariantMap(map["initialLayout"].toMap());
-
-            const QVariantList operations = map["operations"].toList();
-            t.operations.reserve(operations.size());
-            for (const QVariant &operation : operations)
-                t.operations.push_back(Operations::OperationBase::fromVariantMap(fuzzer, operation.toMap()));
-
-            return t;
-        }
-    };
-
-    void runTest(const Test &);
-
-    explicit Fuzzer(bool dumpJsonOnFailure, Options, QObject *parent = nullptr);
-
-    Fuzzer::Layout generateRandomLayout();
-
-    Fuzzer::DockWidgetDescriptor generateRandomDockWidget();
-
-    Fuzzer::DockWidgetDescriptor::List generateRandomDockWidgets(int num);
-
-    bool getRandomBool(int truePercentage = 50);
-
-    Testing::AddDockWidgetParams getRandomAddDockWidgetParams();
-
-    KDDockWidgets::MainWindowBase *getRandomMainWindow();
-    KDDockWidgets::DockWidgetBase *getRandomDockWidget(const DockWidgetBase::List &excluding = {});
-    KDDockWidgets::DockWidgetBase *getRandomRelativeTo(MainWindowBase *mainWindow,
-                                                       DockWidgetBase *excluding);
-
-    KDDockWidgets::Location getRandomLocation();
-
-    QPoint getRandomPos();
-
-    Operations::OperationBase::Ptr getRandomOperation();
-
-    Fuzzer::Test generateRandomTest();
-    Fuzzer::Test::List generateRandomTests(int num);
-
-    void fuzz(FuzzerConfig config);
-    void fuzz(const QStringList &jsonFiles);
-    void fuzz(const QString &json);
-
-    QRect randomGeometry();
-
-    void onFatal() override;
-    void setDelayBetweenOperations(int delay);
-
-    QByteArray lastSavedLayout() const;
-    void setLastSavedLayout(const QByteArray &serialized);
-
-private:
-    std::random_device m_randomDevice;
-    std::mt19937 m_randomEngine;
-    Fuzzer::Test m_currentTest;
-    QString m_currentJsonFile;
-    const bool m_dumpJsonOnFailure;
-    int m_operationDelayMS = 50;
-    const Options m_options;
-    QByteArray m_lastSavedLayout;
-};
-
-}
-}
-
-#endif

tests/fuzzer/Operations.cpp

@@ -1,483 +0,0 @@
-/*
-  This file is part of KDDockWidgets.
-
-  SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-  Author: Sérgio Martins <sergio.martins@kdab.com>
-
-  SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-
-  Contact KDAB at <info@kdab.com> for commercial licensing options.
-*/
-
-// We don't care about performance related checks in the tests
-// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations
-
-#include "Operations.h"
-#include "../Testing.h"
-#include "DockRegistry_p.h"
-#include "DockWidgetBase.h"
-#include "DockWidgetBase_p.h"
-#include "FloatingWindow_p.h"
-#include "Frame_p.h"
-#include "Fuzzer.h"
-
-#include <QTest>
-
-using namespace KDDockWidgets;
-using namespace KDDockWidgets::Testing;
-using namespace KDDockWidgets::Testing::Operations;
-
-static QString operationTypeStr(OperationType optype)
-{
-    return QMetaEnum::fromType<OperationType>().valueToKey(optype);
-}
-
-OperationBase::OperationBase(KDDockWidgets::Testing::Operations::OperationType type, Fuzzer *fuzzer)
-    : m_operationType(type)
-    , m_fuzzer(fuzzer)
-{
-}
-
-OperationBase::~OperationBase()
-{
-}
-
-void OperationBase::execute()
-{
-    if (!hasParams())
-        generateRandomParams();
-
-    if (hasParams()) { // Check again, as generateRandomParams() is not guaranteed
-        updateDescription();
-        execute_impl();
-
-        if (m_sleepMS > 0)
-            QTest::qWait(m_sleepMS);
-    }
-}
-
-QVariantMap OperationBase::toVariantMap() const
-{
-    const QVariantMap params = paramsToVariantMap();
-    if (!hasParams())
-        return {};
-
-    QVariantMap map;
-    map["type"] = m_operationType;
-    map["params"] = params;
-    map["comment"] = description();
-
-    return map;
-}
-
-OperationBase::Ptr OperationBase::fromVariantMap(Fuzzer *fuzzer, const QVariantMap &map)
-{
-    if (!map.contains("type") || !map.contains("params")) {
-        qDebug() << Q_FUNC_INFO << "Invalid map";
-        return {};
-    }
-
-    auto operationType = OperationType(map["type"].toInt());
-
-    OperationBase::Ptr ptr = OperationBase::newOperation(fuzzer, operationType);
-    if (ptr) {
-        const QVariantMap params = map["params"].toMap();
-        if (params.isEmpty()) {
-            qDebug() << Q_FUNC_INFO << "Invalid params";
-        } else {
-            ptr->fillParamsFromVariantMap(params);
-        }
-
-        if (map.contains("pause"))
-            ptr->m_sleepMS = map["pause"].toInt();
-    } else {
-        qDebug() << Q_FUNC_INFO << "Failed to fill params";
-    }
-
-    return ptr;
-}
-
-OperationBase::Ptr OperationBase::newOperation(Fuzzer *fuzzer, OperationType type)
-{
-    OperationBase::Ptr ptr;
-
-    switch (type) {
-    case OperationType_Count:
-    case OperationType_None:
-        qDebug() << Q_FUNC_INFO << "Invalid type";
-        break;
-    case OperationType_CloseViaDockWidgetAPI:
-        ptr = OperationBase::Ptr(new CloseViaDockWidgetAPI(fuzzer));
-        break;
-    case OperationType_HideViaDockWidgetAPI:
-        ptr = OperationBase::Ptr(new HideViaDockWidgetAPI(fuzzer));
-        break;
-    case OperationType_ShowViaDockWidgetAPI:
-        ptr = OperationBase::Ptr(new ShowViaDockWidgetAPI(fuzzer));
-        break;
-    case OperationType_AddDockWidget:
-        ptr = OperationBase::Ptr(new AddDockWidget(fuzzer));
-        break;
-    case OperationType_AddDockWidgetAsTab:
-        ptr = OperationBase::Ptr(new AddDockWidgetAsTab(fuzzer));
-        break;
-    case OperationType_SaveLayout:
-        ptr = OperationBase::Ptr(new SaveLayout(fuzzer));
-        break;
-    case OperationType_RestoreLayout:
-        ptr = OperationBase::Ptr(new RestoreLayout(fuzzer));
-        break;
-    }
-
-    return ptr;
-}
-
-QString OperationBase::toString()
-{
-    if (m_description.isEmpty())
-        updateDescription();
-
-    return QStringLiteral("type=%1;description=%2").arg(operationTypeStr(m_operationType), m_description);
-}
-
-DockWidgetBase *OperationBase::dockByName(const QString &name) const
-{
-    return DockRegistry::self()->dockByName(name);
-}
-
-MainWindowBase *OperationBase::mainWindowByName(const QString &name) const
-{
-    return DockRegistry::self()->mainWindowByName(name);
-}
-
-QString OperationBase::dockStr(const QString &name) const
-{
-    if (auto dw = dockByName(name)) {
-        if (dw->isVisible())
-            return name;
-        return QStringLiteral("%1-[hidden]").arg(name);
-    } else {
-        return QStringLiteral("null");
-    }
-}
-
-CloseViaDockWidgetAPI::CloseViaDockWidgetAPI(Fuzzer *fuzzer)
-    : OperationBase(OperationType_CloseViaDockWidgetAPI, fuzzer)
-{
-}
-
-void CloseViaDockWidgetAPI::generateRandomParams()
-{
-    if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget())
-        if (dw->isVisible())
-            m_dockWidgetName = dw->uniqueName();
-}
-
-bool CloseViaDockWidgetAPI::hasParams() const
-{
-    return !m_dockWidgetName.isEmpty();
-}
-
-void CloseViaDockWidgetAPI::updateDescription()
-{
-    m_description = QStringLiteral("Closing %1").arg(dockStr(m_dockWidgetName));
-}
-
-void CloseViaDockWidgetAPI::execute_impl()
-{
-    DockWidgetBase *dw = dockByName(m_dockWidgetName);
-    auto fw = dw->floatingWindow();
-    dw->close();
-    if (fw && fw->beingDeleted())
-        Testing::waitForDeleted(fw);
-}
-
-QVariantMap CloseViaDockWidgetAPI::paramsToVariantMap() const
-{
-    QVariantMap map;
-    if (!m_dockWidgetName.isEmpty())
-        map["dockWidgetName"] = m_dockWidgetName;
-    return map;
-}
-
-void CloseViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map)
-{
-    m_dockWidgetName = map["dockWidgetName"].toString();
-}
-
-HideViaDockWidgetAPI::HideViaDockWidgetAPI(Fuzzer *fuzzer)
-    : OperationBase(OperationType_HideViaDockWidgetAPI, fuzzer)
-{
-}
-
-void HideViaDockWidgetAPI::generateRandomParams()
-{
-    if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget())
-        if (dw->isVisible())
-            m_dockWidgetName = dw->uniqueName();
-}
-
-bool HideViaDockWidgetAPI::hasParams() const
-{
-    return !m_dockWidgetName.isEmpty();
-}
-
-void HideViaDockWidgetAPI::updateDescription()
-{
-    m_description = QStringLiteral("Hiding %1").arg(dockStr(m_dockWidgetName));
-}
-
-void HideViaDockWidgetAPI::execute_impl()
-{
-    DockWidgetBase *dw = dockByName(m_dockWidgetName);
-    if (!dw) {
-        qDebug() << Q_FUNC_INFO << "not found" << m_dockWidgetName;
-        Q_ASSERT(false);
-    }
-
-    auto fw = dw->floatingWindow();
-    dw->close();
-    if (fw && fw->beingDeleted())
-        Testing::waitForDeleted(fw);
-}
-
-QVariantMap HideViaDockWidgetAPI::paramsToVariantMap() const
-{
-    QVariantMap map;
-    if (!m_dockWidgetName.isEmpty())
-        map["dockWidgetName"] = m_dockWidgetName;
-    return map;
-}
-
-void HideViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map)
-{
-    m_dockWidgetName = map["dockWidgetName"].toString();
-}
-
-ShowViaDockWidgetAPI::ShowViaDockWidgetAPI(Fuzzer *fuzzer)
-    : OperationBase(OperationType_ShowViaDockWidgetAPI, fuzzer)
-{
-}
-
-void ShowViaDockWidgetAPI::generateRandomParams()
-{
-    if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget())
-        if (!dw->isVisible())
-            m_dockWidgetName = dw->uniqueName();
-}
-
-bool ShowViaDockWidgetAPI::hasParams() const
-{
-    return !m_dockWidgetName.isEmpty();
-}
-
-void ShowViaDockWidgetAPI::updateDescription()
-{
-    m_description = QStringLiteral("Showing %1").arg(dockStr(m_dockWidgetName));
-}
-
-void ShowViaDockWidgetAPI::execute_impl()
-{
-    DockWidgetBase *dw = dockByName(m_dockWidgetName);
-    dw->show();
-}
-
-QVariantMap ShowViaDockWidgetAPI::paramsToVariantMap() const
-{
-    QVariantMap map;
-    if (!m_dockWidgetName.isEmpty())
-        map["dockWidgetName"] = m_dockWidgetName;
-    return map;
-}
-
-void ShowViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map)
-{
-    m_dockWidgetName = map["dockWidgetName"].toString();
-}
-
-AddDockWidget::AddDockWidget(Fuzzer *fuzzer)
-    : OperationBase(OperationType_AddDockWidget, fuzzer)
-{
-}
-
-void AddDockWidget::generateRandomParams()
-{
-    m_params = m_fuzzer->getRandomAddDockWidgetParams();
-}
-
-bool AddDockWidget::hasParams() const
-{
-    return !m_params.isNull();
-}
-
-void AddDockWidget::updateDescription()
-{
-    if (m_params.relativeToName.isEmpty())
-        m_description = QStringLiteral("AddDockWidget %1 to %2").arg(dockStr(m_params.dockWidgetName), KDDockWidgets::locationStr(m_params.location));
-    else
-        m_description = QStringLiteral("AddDockWidget %1 to %2, relative to %3").arg(dockStr(m_params.dockWidgetName), KDDockWidgets::locationStr(m_params.location), dockStr(m_params.relativeToName));
-}
-
-void AddDockWidget::execute_impl()
-{
-    auto fw = m_params.dockWidget()->floatingWindow();
-    m_params.mainWindow()->addDockWidget(m_params.dockWidget(), m_params.location,
-                                         m_params.relativeTo(), m_params.addingOption);
-    if (fw && fw->beingDeleted())
-        Testing::waitForDeleted(fw);
-}
-
-QVariantMap AddDockWidget::paramsToVariantMap() const
-{
-    return m_params.isNull() ? QVariantMap()
-                             : m_params.toVariantMap();
-}
-
-void AddDockWidget::fillParamsFromVariantMap(const QVariantMap &map)
-{
-    m_params = AddDockWidgetParams::fillFromVariantMap(map);
-}
-
-AddDockWidgetAsTab::AddDockWidgetAsTab(Fuzzer *fuzzer)
-    : OperationBase(OperationType_AddDockWidgetAsTab, fuzzer)
-{
-}
-
-void AddDockWidgetAsTab::generateRandomParams()
-{
-    DockWidgetBase *dw = m_fuzzer->getRandomDockWidget();
-    if (!dw)
-        return;
-
-    DockWidgetBase *dw2 = nullptr;
-
-    if (auto frame = dw->d->frame()) {
-        auto toExclude = frame->dockWidgets();
-        for (auto dockWidget : DockRegistry::self()->dockwidgets()) {
-            if (dockWidget->window() == dw->window())
-                toExclude.push_back(dockWidget);
-        }
-
-        dw2 = m_fuzzer->getRandomDockWidget(toExclude);
-    }
-
-    if (!dw2)
-        return;
-    m_dockWidgetName = dw->uniqueName();
-    m_dockWidgetToAddName = dw2->uniqueName();
-}
-
-bool AddDockWidgetAsTab::hasParams() const
-{
-    return !m_dockWidgetName.isEmpty() && !m_dockWidgetToAddName.isEmpty();
-}
-
-void AddDockWidgetAsTab::updateDescription()
-{
-    m_description = QStringLiteral("AddDockWidgetAsTab %1 onto %2").arg(dockStr(m_dockWidgetToAddName), dockStr(m_dockWidgetName));
-}
-
-void AddDockWidgetAsTab::execute_impl()
-{
-    DockWidgetBase *dw = dockByName(m_dockWidgetName);
-    DockWidgetBase *dw2 = dockByName(m_dockWidgetToAddName);
-
-    auto fw = dw2->floatingWindow();
-    dw->addDockWidgetAsTab(dw2);
-    if (fw && fw->beingDeleted())
-        Testing::waitForDeleted(fw);
-}
-
-QVariantMap AddDockWidgetAsTab::paramsToVariantMap() const
-{
-    QVariantMap map;
-
-    if (hasParams()) {
-        map["dockWidgetName"] = m_dockWidgetName;
-        map["dockWidgetToAddName"] = m_dockWidgetToAddName;
-    }
-
-    return map;
-}
-
-void AddDockWidgetAsTab::fillParamsFromVariantMap(const QVariantMap &map)
-{
-    m_dockWidgetName = map["dockWidgetName"].toString();
-    m_dockWidgetToAddName = map["dockWidgetToAddName"].toString();
-}
-
-SaveLayout::SaveLayout(Fuzzer *fuzzer)
-    : OperationBase(OperationType_SaveLayout, fuzzer)
-{
-}
-
-bool SaveLayout::hasParams() const
-{
-    return true;
-}
-
-void SaveLayout::updateDescription()
-{
-    m_description = QStringLiteral("SaveLayout");
-}
-
-void SaveLayout::execute_impl()
-{
-    LayoutSaver saver;
-    m_fuzzer->setLastSavedLayout(saver.serializeLayout());
-
-    qDebug() << m_fuzzer << m_fuzzer->lastSavedLayout().isEmpty();
-}
-
-void SaveLayout::generateRandomParams()
-{
-}
-
-QVariantMap SaveLayout::paramsToVariantMap() const
-{
-    return {};
-}
-
-void SaveLayout::fillParamsFromVariantMap(const QVariantMap &)
-{
-}
-
-RestoreLayout::RestoreLayout(Fuzzer *fuzzer)
-    : OperationBase(OperationType_RestoreLayout, fuzzer)
-{
-}
-
-bool RestoreLayout::hasParams() const
-{
-    return true;
-}
-
-void RestoreLayout::updateDescription()
-{
-    m_description = QStringLiteral("RestoreLayout");
-}
-
-void RestoreLayout::execute_impl()
-{
-    QByteArray serialized = m_fuzzer->lastSavedLayout();
-    if (serialized.isEmpty()) {
-        qDebug() << "Skipping, nothing to restore";
-        return;
-    }
-
-    LayoutSaver saver;
-    saver.restoreLayout(serialized);
-}
-
-void RestoreLayout::generateRandomParams()
-{
-}
-
-QVariantMap RestoreLayout::paramsToVariantMap() const
-{
-    return {};
-}
-
-void RestoreLayout::fillParamsFromVariantMap(const QVariantMap &)
-{
-}

tests/fuzzer/Operations.h

@@ -1,217 +0,0 @@
-/*
-  This file is part of KDDockWidgets.
-
-  SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-  Author: Sérgio Martins <sergio.martins@kdab.com>
-
-  SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-
-  Contact KDAB at <info@kdab.com> for commercial licensing options.
-*/
-
-// We don't care about performance related checks in the tests
-// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations
-
-#ifndef KDDOCKWIDGETS_TESTING_OPERATIONS_H
-#define KDDOCKWIDGETS_TESTING_OPERATIONS_H
-
-#include "KDDockWidgets.h"
-#include "../Testing.h"
-
-#include <QObject>
-#include <QVector>
-#include <QMetaEnum>
-
-#include <memory>
-
-namespace KDDockWidgets {
-
-class DockWidgetBase;
-class MainWindowBase;
-
-namespace Testing {
-
-class Fuzzer;
-
-namespace Operations {
-Q_NAMESPACE
-enum OperationType {
-    OperationType_None = 0,
-    OperationType_CloseViaDockWidgetAPI, ///< Closing programmatically via DockWidget::close()
-    OperationType_HideViaDockWidgetAPI, ///< Hiding programmatically via DockWidget::hide()
-    OperationType_ShowViaDockWidgetAPI, ///< Hiding programmatically via DockWidget::show()
-    OperationType_AddDockWidget, ///< MainWindow::addDockWidget()
-    OperationType_AddDockWidgetAsTab, ///< DockWidget::addDockWidgetAsTab()
-    OperationType_SaveLayout, ///< LayoutSaver::saveLayout()
-    OperationType_RestoreLayout, ///< LayoutSaver::restoreLayout()
-    OperationType_Count /// Keep at end
-};
-Q_ENUM_NS(OperationType)
-
-
-///@brief Describes a testable action.
-class OperationBase
-{
-    Q_DISABLE_COPY(OperationBase)
-public:
-    typedef std::shared_ptr<OperationBase> Ptr;
-    typedef QVector<OperationBase::Ptr> List;
-    explicit OperationBase(OperationType, Fuzzer *);
-    virtual ~OperationBase();
-
-    void execute();
-
-    QVariantMap toVariantMap() const;
-    static OperationBase::Ptr fromVariantMap(Fuzzer *fuzzer, const QVariantMap &);
-    static OperationBase::Ptr newOperation(Fuzzer *fuzzer, OperationType);
-
-    OperationType type() const
-    {
-        return m_operationType;
-    }
-    QString description() const
-    {
-        return m_description;
-    }
-
-    virtual void updateDescription() = 0;
-    virtual bool hasParams() const = 0;
-    QString toString();
-
-protected:
-    virtual void execute_impl() = 0;
-    virtual void generateRandomParams() = 0;
-    virtual QVariantMap paramsToVariantMap() const = 0;
-    virtual void fillParamsFromVariantMap(const QVariantMap &) = 0;
-    DockWidgetBase *dockByName(const QString &) const;
-    MainWindowBase *mainWindowByName(const QString &) const;
-    QString dockStr(const QString &name) const;
-
-    const OperationType m_operationType;
-    Fuzzer *const m_fuzzer;
-    int m_sleepMS = 0;
-    QString m_description;
-};
-
-class CloseViaDockWidgetAPI : public OperationBase
-{
-    Q_DISABLE_COPY(CloseViaDockWidgetAPI)
-public:
-    explicit CloseViaDockWidgetAPI(Fuzzer *);
-
-protected:
-    void updateDescription() override;
-    void generateRandomParams() override;
-    bool hasParams() const override;
-    void execute_impl() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-    QString m_dockWidgetName;
-};
-
-class HideViaDockWidgetAPI : public OperationBase
-{
-    Q_DISABLE_COPY(HideViaDockWidgetAPI)
-public:
-    explicit HideViaDockWidgetAPI(Fuzzer *);
-
-protected:
-    void generateRandomParams() override;
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-    QString m_dockWidgetName;
-};
-
-class ShowViaDockWidgetAPI : public OperationBase
-{
-    Q_DISABLE_COPY(ShowViaDockWidgetAPI)
-public:
-    explicit ShowViaDockWidgetAPI(Fuzzer *);
-
-protected:
-    void generateRandomParams() override;
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-    QString m_dockWidgetName;
-};
-
-class AddDockWidget : public OperationBase
-{
-    Q_DISABLE_COPY(AddDockWidget)
-public:
-    explicit AddDockWidget(Fuzzer *);
-
-protected:
-    void generateRandomParams() override;
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-
-private:
-    Testing::AddDockWidgetParams m_params;
-};
-
-class AddDockWidgetAsTab : public OperationBase
-{
-    Q_DISABLE_COPY(AddDockWidgetAsTab)
-public:
-    explicit AddDockWidgetAsTab(Fuzzer *);
-
-protected:
-    void generateRandomParams() override;
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-
-private:
-    QString m_dockWidgetName;
-    QString m_dockWidgetToAddName;
-};
-
-class SaveLayout : public OperationBase
-{
-    Q_DISABLE_COPY(SaveLayout)
-public:
-    explicit SaveLayout(Fuzzer *);
-
-protected:
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-
-    void generateRandomParams() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-};
-
-class RestoreLayout : public OperationBase
-{
-    Q_DISABLE_COPY(RestoreLayout)
-public:
-    explicit RestoreLayout(Fuzzer *);
-
-protected:
-    bool hasParams() const override;
-    void updateDescription() override;
-    void execute_impl() override;
-
-    void generateRandomParams() override;
-    QVariantMap paramsToVariantMap() const override;
-    void fillParamsFromVariantMap(const QVariantMap &) override;
-};
-
-}
-}
-}
-
-#endif

tests/fuzzer/main.cpp

@@ -1,104 +0,0 @@
-/*
-  This file is part of KDDockWidgets.
-
-  SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company <info@kdab.com>
-  Author: Sérgio Martins <sergio.martins@kdab.com>
-
-  SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only
-
-  Contact KDAB at <info@kdab.com> for commercial licensing options.
-*/
-
-// We don't care about performance related checks in the tests
-// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations
-
-#include "Fuzzer.h"
-#include "DockRegistry_p.h"
-#include "../utils.h"
-
-#include <QCommandLineParser>
-#include <QApplication>
-#include <QTimer>
-#include <QDebug>
-#include <QFile>
-#include <iostream>
-
-using namespace KDDockWidgets;
-using namespace KDDockWidgets::Testing;
-
-int main(int argc, char **argv)
-{
-    if (!qpaPassedAsArgument(argc, argv)) {
-        // Use offscreen by default as it's less annoying, doesn't create visible windows
-        qputenv("QT_QPA_PLATFORM", "offscreen");
-    }
-
-    QApplication app(argc, argv);
-
-    QCommandLineParser parser;
-    parser.setApplicationDescription("Fuzzer Help");
-    parser.addPositionalArgument("json", QCoreApplication::translate("main", "json file to load"));
-
-    QCommandLineOption slowDownOption("s", QCoreApplication::translate("main", "Slowdown tests. Adds a 1 second delay between operations"));
-    parser.addOption(slowDownOption);
-
-    QCommandLineOption forceDumpJsonOption("f", QCoreApplication::translate("main", "Dump json of the test even if we're already loading a test."));
-    parser.addOption(forceDumpJsonOption);
-
-    QCommandLineOption loopOption("l", QCoreApplication::translate("main", "Loops until it crashes"));
-    parser.addOption(loopOption);
-
-    QCommandLineOption skipLastOption("a", QCoreApplication::translate("main", "Skips the last test (presumably failing)"));
-    parser.addOption(skipLastOption);
-
-    QCommandLineOption noQuitOption("n", QCoreApplication::translate("main", "Don't quit at the end, keep event loop running for debugging"));
-    parser.addOption(noQuitOption);
-
-    parser.addHelpOption();
-    parser.process(app);
-
-    const bool slowDown = parser.isSet(slowDownOption);
-    const bool forceDumpJson = parser.isSet(forceDumpJsonOption);
-
-    const QStringList filesToLoad = parser.positionalArguments();
-    const bool dumpToJsonOnFatal = forceDumpJson || filesToLoad.isEmpty();
-
-
-    Fuzzer::Options options = Fuzzer::Option_None;
-    if (parser.isSet(skipLastOption))
-        options |= Fuzzer::Option_SkipLast;
-
-    if (parser.isSet(noQuitOption))
-        options |= Fuzzer::Option_NoQuit;
-
-    const bool loops = parser.isSet(loopOption);
-
-    Fuzzer fuzzer(dumpToJsonOnFatal, options);
-    if (slowDown)
-        fuzzer.setDelayBetweenOperations(1000);
-
-    for (const QString &file : filesToLoad) {
-        if (!QFile::exists(file)) {
-            std::cerr << "\nFile doesn't exist: " << file.toStdString() << "\n";
-            return 0;
-        }
-    }
-
-    QTimer::singleShot(0, &fuzzer, [&app, &fuzzer, filesToLoad, loops, options] {
-        if (filesToLoad.isEmpty()) {
-            do {
-                fuzzer.fuzz({ 1, 10, true });
-            } while (loops);
-        } else {
-            fuzzer.fuzz(filesToLoad);
-        }
-
-        if (!(options & Fuzzer::Option_NoQuit)) {
-            // if noQuit is true we keep the app running so it can be debugged
-            app.quit();
-        }
-    });
-
-    app.setQuitOnLastWindowClosed(false);
-    return app.exec();
-}

tests/fuzzer/testcases/1.json

@@ -1,138 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 593,
-                        "width": 861
-                    },
-                    "x": 55,
-                    "y": 296
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 373,
-                    "width": 344
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 564,
-                        "width": 1097
-                    },
-                    "x": 88,
-                    "y": 430
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 170,
-                    "width": 600
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 350,
-                        "width": 1108
-                    },
-                    "x": 384,
-                    "y": 279
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 295,
-                    "width": 554
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1040,
-                        "width": 960
-                    },
-                    "x": 325,
-                    "y": 313
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 480,
-                    "width": 565
-                },
-                "name": "DockWidget-4"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 961,
-                        "width": 472
-                    },
-                    "x": 232,
-                    "y": 79
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-2 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        }
-    ]
-}

tests/fuzzer/testcases/10.json

@@ -1,761 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 773,
-                        "width": 974
-                    },
-                    "x": 199,
-                    "y": 406
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 578,
-                    "width": 440
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 596,
-                        "width": 981
-                    },
-                    "x": 37,
-                    "y": 38
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 359,
-                    "width": 436
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 414,
-                        "width": 539
-                    },
-                    "x": 54,
-                    "y": 343
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 216,
-                    "width": 480
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 693,
-                        "width": 878
-                    },
-                    "x": 392,
-                    "y": 369
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 283,
-                    "width": 367
-                },
-                "name": "DockWidget-4"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1275,
-                        "width": 119
-                    },
-                    "x": 323,
-                    "y": 257
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-1-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to right, relative to DockWidget-1-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-1-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to top, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to top, relative to DockWidget-3-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-3"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to top, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to bottom, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/12.json

@@ -1,312 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1070,
-                        "width": 853
-                    },
-                    "x": 190,
-                    "y": 86
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 490,
-                    "width": 346
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 642,
-                        "width": 724
-                    },
-                    "x": 24,
-                    "y": 397
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 371,
-                    "width": 373
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 615,
-                        "width": 990
-                    },
-                    "x": 82,
-                    "y": 295
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 436,
-                    "width": 533
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 302,
-                        "width": 937
-                    },
-                    "x": 276,
-                    "y": 437
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 211,
-                    "width": 363
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 867,
-                        "width": 1159
-                    },
-                    "x": 66,
-                    "y": 339
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 587,
-                    "width": 570
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 552,
-                        "width": 604
-                    },
-                    "x": 9,
-                    "y": 442
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 427,
-                    "width": 152
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 706,
-                        "width": 561
-                    },
-                    "x": 397,
-                    "y": 194
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 486,
-                    "width": 388
-                },
-                "name": "DockWidget-7"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 612,
-                        "width": 807
-                    },
-                    "x": 180,
-                    "y": 243
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 164,
-                    "width": 502
-                },
-                "name": "DockWidget-8"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 286,
-                        "width": 549
-                    },
-                    "x": 448,
-                    "y": 180
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 217,
-                    "width": 408
-                },
-                "name": "DockWidget-9"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1047,
-                        "width": 315
-                    },
-                    "x": 372,
-                    "y": 487
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-6 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to bottom, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-8-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-8-[hidden] to bottom, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to left, relative to DockWidget-1",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 1
-        }
-    ]
-}

tests/fuzzer/testcases/14.json

@@ -1,599 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 732,
-                        "width": 504
-                    },
-                    "x": 386,
-                    "y": 208
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 539,
-                    "width": 267
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 986,
-                        "width": 633
-                    },
-                    "x": 334,
-                    "y": 215
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 414,
-                    "width": 352
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 447,
-                        "width": 474
-                    },
-                    "x": 387,
-                    "y": 414
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 182,
-                    "width": 394
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 403,
-                        "width": 579
-                    },
-                    "x": 468,
-                    "y": 374
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 165,
-                    "width": 168
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 689,
-                        "width": 784
-                    },
-                    "x": 252,
-                    "y": 482
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 178,
-                    "width": 500
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 724,
-                        "width": 701
-                    },
-                    "x": 368,
-                    "y": 225
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 155,
-                    "width": 276
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 410,
-                        "width": 627
-                    },
-                    "x": 223,
-                    "y": 121
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 335,
-                    "width": 524
-                },
-                "name": "DockWidget-7"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 734,
-                        "width": 984
-                    },
-                    "x": 17,
-                    "y": 390
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 196,
-                    "width": 480
-                },
-                "name": "DockWidget-8"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 455,
-                        "width": 589
-                    },
-                    "x": 47,
-                    "y": 134
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 225,
-                    "width": 290
-                },
-                "name": "DockWidget-9"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 847,
-                        "width": 739
-                    },
-                    "x": 155,
-                    "y": 331
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 504,
-                    "width": 184
-                },
-                "name": "DockWidget-10"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1350,
-                        "width": 288
-                    },
-                    "x": 336,
-                    "y": 411
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-8-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5-[hidden] to top, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-10",
-            "params": {
-                "dockWidgetName": "DockWidget-10",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-7-[hidden] to left, relative to DockWidget-8",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-7",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-8"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-7"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-6-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-10",
-            "params": {
-                "dockWidgetName": "DockWidget-10"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-8-[hidden] to top, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8",
-                "dockWidgetToAddName": "DockWidget-7"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to left, relative to DockWidget-8-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-8"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-8-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5",
-                "dockWidgetToAddName": "DockWidget-8"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-8"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-10-[hidden] onto DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5",
-                "dockWidgetToAddName": "DockWidget-10"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5-[hidden] to right, relative to DockWidget-9-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-9"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to right, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-10",
-            "params": {
-                "dockWidgetName": "DockWidget-10"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-7-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 3
-        }
-    ]
-}

tests/fuzzer/testcases/15.json

@@ -1,364 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1050,
-                        "width": 873
-                    },
-                    "x": 389,
-                    "y": 359
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 539,
-                    "width": 599
-                },
-                "name": "DockWidget-47"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 767,
-                        "width": 1008
-                    },
-                    "x": 483,
-                    "y": 478
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 415,
-                    "width": 502
-                },
-                "name": "DockWidget-48"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 347,
-                        "width": 802
-                    },
-                    "x": 168,
-                    "y": 291
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 252,
-                    "width": 248
-                },
-                "name": "DockWidget-49"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 514,
-                        "width": 750
-                    },
-                    "x": 77,
-                    "y": 43
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 165,
-                    "width": 580
-                },
-                "name": "DockWidget-50"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 777,
-                        "width": 635
-                    },
-                    "x": 392,
-                    "y": 37
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 548,
-                    "width": 558
-                },
-                "name": "DockWidget-51"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 803,
-                        "width": 526
-                    },
-                    "x": 409,
-                    "y": 109
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 288,
-                    "width": 205
-                },
-                "name": "DockWidget-52"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 925,
-                        "width": 1044
-                    },
-                    "x": 175,
-                    "y": 159
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 531,
-                    "width": 508
-                },
-                "name": "DockWidget-53"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1003,
-                        "width": 688
-                    },
-                    "x": 384,
-                    "y": 293
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 564,
-                    "width": 170
-                },
-                "name": "DockWidget-54"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 965,
-                        "width": 337
-                    },
-                    "x": 445,
-                    "y": 485
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-9"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-49-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-49",
-                "location": 2,
-                "mainWindowName": "MainWindow-9"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-51-[hidden] onto DockWidget-53-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-53",
-                "dockWidgetToAddName": "DockWidget-51"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-49-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-49"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-49",
-            "params": {
-                "dockWidgetName": "DockWidget-49"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-48-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-48",
-                "location": 4,
-                "mainWindowName": "MainWindow-9"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-53-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-53",
-                "location": 4,
-                "mainWindowName": "MainWindow-9"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-51",
-            "params": {
-                "dockWidgetName": "DockWidget-51"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-49-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-49"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-49",
-            "params": {
-                "dockWidgetName": "DockWidget-49"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-52-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-52"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-54-[hidden] to bottom, relative to DockWidget-48",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-54",
-                "location": 4,
-                "mainWindowName": "MainWindow-9",
-                "relativeToName": "DockWidget-48"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-50-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-50",
-                "location": 4,
-                "mainWindowName": "MainWindow-9"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-50",
-            "params": {
-                "dockWidgetName": "DockWidget-50"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-48 onto DockWidget-52",
-            "params": {
-                "dockWidgetName": "DockWidget-52",
-                "dockWidgetToAddName": "DockWidget-48"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-52-[hidden] to left, relative to DockWidget-53",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-52",
-                "location": 1,
-                "mainWindowName": "MainWindow-9",
-                "relativeToName": "DockWidget-53"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-50-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-50"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-53-[hidden] to left, relative to DockWidget-52",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-53",
-                "location": 1,
-                "mainWindowName": "MainWindow-9",
-                "relativeToName": "DockWidget-52"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-53",
-            "params": {
-                "dockWidgetName": "DockWidget-53"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-52",
-            "params": {
-                "dockWidgetName": "DockWidget-52"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-47-[hidden] to left, relative to DockWidget-50",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-47",
-                "location": 1,
-                "mainWindowName": "MainWindow-9",
-                "relativeToName": "DockWidget-50"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-47",
-            "params": {
-                "dockWidgetName": "DockWidget-47"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-48-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-48"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-49-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-49"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-52-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-52"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-47-[hidden] onto DockWidget-49",
-            "params": {
-                "dockWidgetName": "DockWidget-49",
-                "dockWidgetToAddName": "DockWidget-47"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/16.json

@@ -1,212 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 757,
-                        "width": 748
-                    },
-                    "x": 352,
-                    "y": 17
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 302,
-                    "width": 541
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 930,
-                        "width": 1083
-                    },
-                    "x": 64,
-                    "y": 35
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 462,
-                    "width": 553
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 665,
-                        "width": 1031
-                    },
-                    "x": 207,
-                    "y": 178
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 402,
-                    "width": 523
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 525,
-                        "width": 962
-                    },
-                    "x": 118,
-                    "y": 157
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 322,
-                    "width": 460
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 920,
-                        "width": 618
-                    },
-                    "x": 199,
-                    "y": 154
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 425,
-                    "width": 249
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 770,
-                        "width": 538
-                    },
-                    "x": 323,
-                    "y": 203
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 523,
-                    "width": 451
-                },
-                "name": "DockWidget-6"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1487,
-                        "width": 307
-                    },
-                    "x": 42,
-                    "y": 118
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-17"
-            }
-        ]
-    },
-    "operations": [
-
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 2,
-                "mainWindowName": "MainWindow-17"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 1,
-                "mainWindowName": "MainWindow-17"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-6"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to right, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 3,
-                "mainWindowName": "MainWindow-17",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-
-        {
-            "comment": "AddDockWidget DockWidget-5 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 1,
-                "mainWindowName": "MainWindow-17"
-            },
-            "type": 4
-        },
-
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 1,
-                "mainWindowName": "MainWindow-17"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to right, relative to DockWidget-5",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-17",
-                "relativeToName": "DockWidget-5"
-            },
-            "type": 4
-        }
-    ]
-}

tests/fuzzer/testcases/17.json

@@ -1,159 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 976,
-                        "width": 1087
-                    },
-                    "x": 298,
-                    "y": 13
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 447,
-                    "width": 498
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 793,
-                        "width": 897
-                    },
-                    "x": 322,
-                    "y": 491
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 565,
-                    "width": 544
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 426,
-                        "width": 972
-                    },
-                    "x": 54,
-                    "y": 88
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 284,
-                    "width": 596
-                },
-                "name": "DockWidget-3"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1425,
-                        "width": 145
-                    },
-                    "x": 20,
-                    "y": 2
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-3"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        }
-    ]
-}

tests/fuzzer/testcases/18.json

@@ -1,905 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 496,
-                        "width": 260
-                    },
-                    "x": 213,
-                    "y": 149
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 324,
-                    "width": 183
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 784,
-                        "width": 342
-                    },
-                    "x": 42,
-                    "y": 428
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 247,
-                    "width": 247
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 789,
-                        "width": 566
-                    },
-                    "x": 294,
-                    "y": 396
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 502,
-                    "width": 345
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 948,
-                        "width": 440
-                    },
-                    "x": 461,
-                    "y": 56
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 568,
-                    "width": 246
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 642,
-                        "width": 529
-                    },
-                    "x": 172,
-                    "y": 192
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 213,
-                    "width": 268
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1089,
-                        "width": 305
-                    },
-                    "x": 212,
-                    "y": 8
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 567,
-                    "width": 165
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 632,
-                        "width": 892
-                    },
-                    "x": 477,
-                    "y": 51
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 329,
-                    "width": 407
-                },
-                "name": "DockWidget-7"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 653,
-                        "width": 665
-                    },
-                    "x": 228,
-                    "y": 458
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 440,
-                    "width": 371
-                },
-                "name": "DockWidget-8"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 612,
-                        "width": 560
-                    },
-                    "x": 371,
-                    "y": 63
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 534,
-                    "width": 300
-                },
-                "name": "DockWidget-9"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1199,
-                        "width": 305
-                    },
-                    "x": 180,
-                    "y": 209
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-5-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to top, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Hiding DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-7-[hidden] to right, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-7",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-7"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9-[hidden] to left, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to right, relative to DockWidget-6-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-9-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-5-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to top, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-5-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-7"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-8-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-8"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Hiding DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8",
-                "dockWidgetToAddName": "DockWidget-6"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-6",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-6"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-7-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to right, relative to DockWidget-5",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-5"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9 to left, relative to DockWidget-3-[hidden]",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-3"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-7 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-7",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Closing DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-8-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-8 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 1
-        },
-
-        {
-            "comment": "AddDockWidget DockWidget-8-[hidden] to top, relative to DockWidget-7",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 2,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-7"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-6-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-9-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-9 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-9",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-
-        {
-            "comment": "Hiding DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 2
-        },
-
-        {
-            "comment": "Showing DockWidget-7-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-4-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-9-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-9"
-            },
-            "type": 3
-        }
-    ]
-}

tests/fuzzer/testcases/19.json

@@ -1,378 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 774,
-                        "width": 1127
-                    },
-                    "x": 176,
-                    "y": 165
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 476,
-                    "width": 564
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 518,
-                        "width": 755
-                    },
-                    "x": 319,
-                    "y": 447
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 178,
-                    "width": 459
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 828,
-                        "width": 838
-                    },
-                    "x": 260,
-                    "y": 237
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 266,
-                    "width": 485
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 808,
-                        "width": 509
-                    },
-                    "x": 243,
-                    "y": 415
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 578,
-                    "width": 351
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 773,
-                        "width": 754
-                    },
-                    "x": 494,
-                    "y": 428
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 369,
-                    "width": 327
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 672,
-                        "width": 471
-                    },
-                    "x": 433,
-                    "y": 245
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 463,
-                    "width": 191
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 701,
-                        "width": 525
-                    },
-                    "x": 30,
-                    "y": 367
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 596,
-                    "width": 156
-                },
-                "name": "DockWidget-7"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 723,
-                        "width": 599
-                    },
-                    "x": 254,
-                    "y": 203
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 251,
-                    "width": 447
-                },
-                "name": "DockWidget-8"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 808,
-                        "width": 126
-                    },
-                    "x": 173,
-                    "y": 460
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to right, relative to DockWidget-4",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-4"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 3
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 5
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to left, relative to DockWidget-2",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 1,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-2"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-7 to right, relative to DockWidget-5",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-7",
-                "location": 3,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-5"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-8",
-            "params": {
-                "dockWidgetName": "DockWidget-8",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/2.json

@@ -1,212 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 410,
-                        "width": 531
-                    },
-                    "x": 359,
-                    "y": 134
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 258,
-                    "width": 175
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 588,
-                        "width": 651
-                    },
-                    "x": 369,
-                    "y": 7
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 438,
-                    "width": 373
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 969,
-                        "width": 279
-                    },
-                    "x": 302,
-                    "y": 60
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 392,
-                    "width": 172
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 645,
-                        "width": 562
-                    },
-                    "x": 115,
-                    "y": 448
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 584,
-                    "width": 346
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 586,
-                        "width": 270
-                    },
-                    "x": 217,
-                    "y": 397
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 458,
-                    "width": 152
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 762,
-                        "width": 460
-                    },
-                    "x": 40,
-                    "y": 90
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 476,
-                    "width": 268
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 873,
-                        "width": 644
-                    },
-                    "x": 3,
-                    "y": 26
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 533,
-                    "width": 246
-                },
-                "name": "DockWidget-7"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1163,
-                        "width": 36
-                    },
-                    "x": 95,
-                    "y": 56
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-2 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-7"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4-[hidden] to bottom, relative to DockWidget-7",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 4,
-                "mainWindowName": "MainWindow-1",
-                "relativeToName": "DockWidget-7"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-7",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-7-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-7"
-            },
-            "type": 3
-        }
-    ]
-}

tests/fuzzer/testcases/20.json

@@ -1,833 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 793,
-                        "width": 728
-                    },
-                    "x": 143,
-                    "y": 290
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 445,
-                    "width": 576
-                },
-                "name": "DockWidget-70"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 749,
-                        "width": 1001
-                    },
-                    "x": 358,
-                    "y": 224
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 406,
-                    "width": 579
-                },
-                "name": "DockWidget-71"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 243,
-                        "width": 480
-                    },
-                    "x": 498,
-                    "y": 284
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 184,
-                    "width": 191
-                },
-                "name": "DockWidget-72"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1409,
-                        "width": 109
-                    },
-                    "x": 243,
-                    "y": 241
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-14"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "Closing DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 1
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Closing DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 1
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Showing DockWidget-70-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 3
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Hiding DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-71-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71",
-                "dockWidgetToAddName": "DockWidget-72"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 1,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Hiding DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 2
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71",
-                "dockWidgetToAddName": "DockWidget-72"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-71-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-72-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70",
-                "dockWidgetToAddName": "DockWidget-71"
-            },
-            "type": 5
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Closing DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-72-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 3
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Hiding DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70",
-                "dockWidgetToAddName": "DockWidget-71"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-71 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-71",
-                "location": 1,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Closing DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71",
-                "dockWidgetToAddName": "DockWidget-72"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-71-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-71",
-                "dockWidgetToAddName": "DockWidget-70"
-            },
-            "type": 5
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidget DockWidget-72-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-72",
-                "location": 1,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidget DockWidget-72 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-72",
-                "location": 2,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72",
-                "dockWidgetToAddName": "DockWidget-70"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-72-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 2
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Showing DockWidget-71-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 3
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 1,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Showing DockWidget-72-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Closing DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 1
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 3,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 2,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-71-[hidden] to bottom, relative to DockWidget-70",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-71",
-                "location": 4,
-                "mainWindowName": "MainWindow-14",
-                "relativeToName": "DockWidget-70"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidget DockWidget-72-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-72",
-                "location": 3,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-72-[hidden] to right, relative to DockWidget-70",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-72",
-                "location": 3,
-                "mainWindowName": "MainWindow-14",
-                "relativeToName": "DockWidget-70"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-71-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-71",
-            "params": {
-                "dockWidgetName": "DockWidget-71"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 1,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Hiding DockWidget-72",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-70-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-72-[hidden] to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-72",
-                "location": 2,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70",
-            "params": {
-                "dockWidgetName": "DockWidget-70",
-                "dockWidgetToAddName": "DockWidget-71"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-70-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-70"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 2,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidget DockWidget-70 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-70",
-                "location": 4,
-                "mainWindowName": "MainWindow-14"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-72-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-72"
-            },
-            "type": 3
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        }
-    ]
-}

tests/fuzzer/testcases/21.json

@@ -1,645 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 807,
-                        "width": 1022
-                    },
-                    "x": 481,
-                    "y": 53
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 242,
-                    "width": 459
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 991,
-                        "width": 1097
-                    },
-                    "x": 500,
-                    "y": 373
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 537,
-                    "width": 519
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 550,
-                        "width": 856
-                    },
-                    "x": 286,
-                    "y": 486
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 319,
-                    "width": 536
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 565,
-                        "width": 840
-                    },
-                    "x": 55,
-                    "y": 69
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 179,
-                    "width": 312
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 707,
-                        "width": 1045
-                    },
-                    "x": 195,
-                    "y": 183
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 539,
-                    "width": 589
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 555,
-                        "width": 987
-                    },
-                    "x": 406,
-                    "y": 351
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 375,
-                    "width": 594
-                },
-                "name": "DockWidget-6"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 895,
-                        "width": 126
-                    },
-                    "x": 320,
-                    "y": 109
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Showing DockWidget-6-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Hiding DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5-[hidden] to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Hiding DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-6 onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-6"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-6 onto DockWidget-5",
-            "params": {
-                "dockWidgetName": "DockWidget-5",
-                "dockWidgetToAddName": "DockWidget-6"
-            },
-            "type": 5
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4"
-            },
-            "type": 1
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-5-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-5"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-5 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-5",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        },
-        {
-            "comment": "SaveLayout",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "RestoreLayout",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 6
-        },
-        {
-            "comment": "",
-            "params": {
-            },
-            "type": 7
-        }
-    ]
-}

tests/fuzzer/testcases/3.json

@@ -1,142 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 903,
-                        "width": 596
-                    },
-                    "x": 212,
-                    "y": 195
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 579,
-                    "width": 519
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 696,
-                        "width": 530
-                    },
-                    "x": 103,
-                    "y": 264
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 497,
-                    "width": 213
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 745,
-                        "width": 732
-                    },
-                    "x": 403,
-                    "y": 397
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 388,
-                    "width": 322
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 609,
-                        "width": 734
-                    },
-                    "x": 311,
-                    "y": 337
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 201,
-                    "width": 436
-                },
-                "name": "DockWidget-4"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 723,
-                        "width": 297
-                    },
-                    "x": 179,
-                    "y": 93
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-1 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-4",
-            "params": {
-                "dockWidgetName": "DockWidget-4",
-                "dockWidgetToAddName": "DockWidget-3"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-1"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/4.json

@@ -1,135 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 886,
-                        "width": 305
-                    },
-                    "x": 265,
-                    "y": 179
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 583,
-                    "width": 160
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1004,
-                        "width": 744
-                    },
-                    "x": 119,
-                    "y": 271
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 507,
-                    "width": 378
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 735,
-                        "width": 530
-                    },
-                    "x": 107,
-                    "y": 112
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 351,
-                    "width": 480
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 493,
-                        "width": 515
-                    },
-                    "x": 126,
-                    "y": 80
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 197,
-                    "width": 437
-                },
-                "name": "DockWidget-4"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1050,
-                        "width": 462
-                    },
-                    "x": 130,
-                    "y": 421
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-3 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/5.json

@@ -1,76 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 818,
-                        "width": 425
-                    },
-                    "x": 146,
-                    "y": 436
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 425,
-                    "width": 259
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 698,
-                        "width": 614
-                    },
-                    "x": 438,
-                    "y": 291
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 410,
-                    "width": 363
-                },
-                "name": "DockWidget-2"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1400,
-                        "width": 457
-                    },
-                    "x": 91,
-                    "y": 388
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-2 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        }
-    ]
-}

tests/fuzzer/testcases/6.json

@@ -1,122 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1053,
-                        "width": 1025
-                    },
-                    "x": 66,
-                    "y": 252
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 503,
-                    "width": 490
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 912,
-                        "width": 835
-                    },
-                    "x": 94,
-                    "y": 437
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 506,
-                    "width": 532
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 774,
-                        "width": 925
-                    },
-                    "x": 222,
-                    "y": 299
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 596,
-                    "width": 418
-                },
-                "name": "DockWidget-3"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1054,
-                        "width": 171
-                    },
-                    "x": 321,
-                    "y": 131
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-1 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Hiding DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Hiding DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 2
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-2"
-            },
-            "type": 5
-        }
-    ]
-}

tests/fuzzer/testcases/7.json

@@ -1,245 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 428,
-                        "width": 800
-                    },
-                    "x": 212,
-                    "y": 102
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 361,
-                    "width": 599
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 744,
-                        "width": 568
-                    },
-                    "x": 437,
-                    "y": 127
-                },
-                "isFloating": true,
-                "isVisible": false,
-                "minSize": {
-                    "height": 422,
-                    "width": 261
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1055,
-                        "width": 768
-                    },
-                    "x": 452,
-                    "y": 224
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 512,
-                    "width": 386
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 647,
-                        "width": 677
-                    },
-                    "x": 458,
-                    "y": 188
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 358,
-                    "width": 224
-                },
-                "name": "DockWidget-4"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 333,
-                        "width": 739
-                    },
-                    "x": 408,
-                    "y": 100
-                },
-                "isFloating": false,
-                "isVisible": false,
-                "minSize": {
-                    "height": 252,
-                    "width": 267
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1042,
-                        "width": 468
-                    },
-                    "x": 343,
-                    "y": 320
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 526,
-                    "width": 234
-                },
-                "name": "DockWidget-6"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1039,
-                        "width": 94
-                    },
-                    "x": 364,
-                    "y": 197
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "Closing DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-6",
-            "params": {
-                "dockWidgetName": "DockWidget-6"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-4 to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-4",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2-[hidden] to bottom",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 4,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Closing DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-3-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-3"
-            },
-            "type": 3
-        },
-        {
-            "comment": "Showing DockWidget-1-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-1"
-            },
-            "type": 3
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-1",
-            "params": {
-                "dockWidgetName": "DockWidget-1",
-                "dockWidgetToAddName": "DockWidget-4"
-            },
-            "type": 5
-        },
-        {
-            "comment": "Closing DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 1
-        },
-        {
-            "comment": "AddDockWidget DockWidget-3 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-3",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1-[hidden] to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "Showing DockWidget-2-[hidden]",
-            "params": {
-                "dockWidgetName": "DockWidget-2"
-            },
-            "type": 3
-        }
-    ]
-}

tests/fuzzer/testcases/8.json

@@ -1,205 +0,0 @@
-{
-    "initialLayout": {
-        "dockWidgets": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 292,
-                        "width": 1062
-                    },
-                    "x": 163,
-                    "y": 468
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 183,
-                    "width": 485
-                },
-                "name": "DockWidget-1"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 858,
-                        "width": 559
-                    },
-                    "x": 39,
-                    "y": 491
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 584,
-                    "width": 388
-                },
-                "name": "DockWidget-2"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 625,
-                        "width": 693
-                    },
-                    "x": 390,
-                    "y": 121
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 460,
-                    "width": 386
-                },
-                "name": "DockWidget-3"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 684,
-                        "width": 740
-                    },
-                    "x": 243,
-                    "y": 117
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 332,
-                    "width": 414
-                },
-                "name": "DockWidget-5"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 690,
-                        "width": 676
-                    },
-                    "x": 288,
-                    "y": 108
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 494,
-                    "width": 506
-                },
-                "name": "DockWidget-6"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1011,
-                        "width": 412
-                    },
-                    "x": 136,
-                    "y": 197
-                },
-                "isFloating": true,
-                "isVisible": true,
-                "minSize": {
-                    "height": 590,
-                    "width": 209
-                },
-                "name": "DockWidget-8"
-            },
-            {
-                "geometry": {
-                    "size": {
-                        "height": 792,
-                        "width": 754
-                    },
-                    "x": 64,
-                    "y": 69
-                },
-                "isFloating": false,
-                "isVisible": true,
-                "minSize": {
-                    "height": 560,
-                    "width": 534
-                },
-                "name": "DockWidget-9"
-            }
-        ],
-        "mainWindows": [
-            {
-                "geometry": {
-                    "size": {
-                        "height": 1346,
-                        "width": 219
-                    },
-                    "x": 209,
-                    "y": 85
-                },
-                "mainWindowOption": 0,
-                "name": "MainWindow-1"
-            }
-        ]
-    },
-    "operations": [
-        {
-            "comment": "AddDockWidget DockWidget-8 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-8",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-9",
-            "params": {
-                "dockWidgetName": "DockWidget-9",
-                "dockWidgetToAddName": "DockWidget-8"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidget DockWidget-2 to left",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-2",
-                "location": 1,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-1 to top",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-1",
-                "location": 2,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidget DockWidget-6 to right",
-            "params": {
-                "addingOption": 0,
-                "dockWidgetName": "DockWidget-6",
-                "location": 3,
-                "mainWindowName": "MainWindow-1"
-            },
-            "type": 4
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-3",
-            "params": {
-                "dockWidgetName": "DockWidget-3",
-                "dockWidgetToAddName": "DockWidget-5"
-            },
-            "type": 5
-        },
-        {
-            "comment": "AddDockWidgetAsTab DockWidget-9-[hidden] onto DockWidget-2",
-            "params": {
-                "dockWidgetName": "DockWidget-2",
-                "dockWidgetToAddName": "DockWidget-9"
-            },
-            "type": 5
-        }
-    ]
-}